( en | de | ru )

 

Disambiguierung von "Hatcliff, John"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Software Analysis Emerging Trends in Software Model Checking

, , , , und . Future of Software Engineering, 2007. FOSE '07, Seite 120--136. (2007)
DOI: 10.1109/FOSE.2007.6

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.

Hermann John

Daniel Johnen

Jinu Mulamoottil John

Christian John

Dirk Max Johns

 

Weitere Publikationen von Autoren mit dem selben Namen

A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures., und . GPCE, Seite 33-42. ACM, (2007)Behavioral interface specification languages., , , , und . ACM Comput. Surv., 44 (3): 16:1-16:58 (2012)Using Partial Evaluation to Enable Verification of Concurrent Software., , und . ACM Comput. Surv., 30 (3es): 22 (1998)Towards highly optimized real-time middleware for software product-line architectures., , , , und . SIGBED Review, 3 (1): 13-16 (2006)Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device., , , und . HILT, Seite 65-84. ACM, (2013)Extending JML for Modular Specification and Verification of Multi-threaded Programs., , , , , und . ECOOP, Volume 3586 von Lecture Notes in Computer Science, Seite 551-576. Springer, (2005)Generalization in Hierarchies of Online Program Specialization Systems., , und . LOPSTR, Volume 1559 von Lecture Notes in Computer Science, Seite 179-198. Springer, (1998)Slicing concurrent Java programs using Indus and Kaveri., und . Int. J. Softw. Tools Technol. Transf., 9 (5-6): 489-504 (2007)Requirements specification for apps in medical application platforms., , , und . SEHC@ICSE, Seite 26-32. IEEE Computer Society, (2012)Software Certification: Methods and Tools (Dagstuhl Seminar 13051)., , , und . Dagstuhl Reports, 3 (1): 111-148 (2013)