( en | de | ru )

 

Disambiguierung von "Lowry, Michael R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Rapid property specification and checking for model-based formalisms.

, , , , , , und . International Symposium on Rapid System Prototyping, Seite 121-127. IEEE, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Stephen Lowry

Michael R Schön

Michael R Glaubitz

Michael R Koch

Michael R Schön

 

Weitere Publikationen von Autoren mit dem selben Namen

Knowledge-Based Design., , , und . KBSE, Seite 239-244. IEEE Computer Society, (1991)Combining unit-level symbolic execution and system-level concrete execution for testing NASA software., , , , , , und . ISSTA, Seite 15-26. ACM, (2008)Static analysis for software assurance: soundness, scalability and adaptiveness., und . FoSER, Seite 393-396. ACM, (2010)Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic?. RE, Seite 12-13. IEEE Computer Society, (2001)Legal Issues on Knowledge-Based Software Engineering., und . KBSE, Seite 61-69. IEEE Computer Society, (1995)Towards a Theory for Integration of Mathematical Verification and Empirical Testing., , und . ASE, Seite 322-. IEEE Computer Society, (1998)Software Engineering in the Twenty-First Century.. AI Magazine, 13 (3): 71-87 (1992)Algorithm Theories and Design Tactics., und . MPC, Volume 375 von Lecture Notes in Computer Science, Seite 379-398. Springer, (1989)Key Applications for High-Assurance Systems., , , , , , , , , und 4 andere Autor(en). Computer, 31 (4): 35-45 (1998)Polyglot: modeling and analysis for multiple Statechart formalisms., , , , und . ISSTA, Seite 45-55. ACM, (2011)