( en | de | ru )

 

Disambiguation of "Panizo, Laura"

Author of the publication

copydeleteadd this publication to your clipboard
A practical use of model checking for synthesis: generating a dam controller for flood management.

, , , and . Softw. Pract. Exp., 41 (11): 1329-1347 (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mario Laura

Marco Laurati

Laura Dreiner

Anatomisch-histologische Variationen des Labrum glenoidale bei erwachsenen Hunden verschiedener Rassen im Vergleich zum jungen Beagle unter besonderer Berücksichtigung des Kollagenfaserverlaufs. Uni Gießen, (2009)

Laura Oberlin

Behandlung von Pankreaskarzinomzelllinien in vitro und in vivo mit einem monoklonalen Antikörper gegen den Transferrinrezeptor. Uni Gießen, (2009)

Laura Polen

 

Other publications of authors with the same name

Communication Software: Design and Testing., , , , and . Encyclopedia of Software Engineering, Taylor & Francis, (2010)Guided test case generation for mobile apps in the TRIANGLE project: work in progress., , , and . SPIN, page 192-195. ACM, (2017)Using SCADE for Decision Support in Dam Management., , , and . MSVVEIS, page 125-131. INSTICC PRESS, (2009)An Extension of TRIANGLE Testbed with Model-Based Testing., , and . SPIN, volume 10869 of Lecture Notes in Computer Science, page 190-195. Springer, (2018)QoE Evaluation: The TRIANGLE Testbed Approach., , , , and . Wirel. Commun. Mob. Comput., (2018)A practical use of model checking for synthesis: generating a dam controller for flood management., , , and . Softw. Pract. Exp., 41 (11): 1329-1347 (2011)Teaching Formal Methods: From Software in the Small to Software in the Large., and . FMTea, volume 11758 of Lecture Notes in Computer Science, page 97-110. Springer, (2019)Experimental analysis of peer-to-peer streaming in cellular networks., , , and . AINA, page 784-791. IEEE Computer Society, (2007)Flextory: Flexible Software Factory of IoT Data Consumers., , and . Sensors, 24 (8): 2550 (April 2024)Model-based testing of apps in real network scenarios., , and . Int. J. Softw. Tools Technol. Transf., 22 (2): 105-114 (2020)