( en | de | ru )

 

Disambiguierung von "Hinchey, Mike"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Software engineering and formal methods.

, , , , , und . Commun. ACM, 51 (9): 54-59 (2008)

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.

Anna Mikecz

Helmut Mikelskis

Heinz Miketta

Bernd Miketta

Anna Mikecz

 

Weitere Publikationen von Autoren mit dem selben Namen

Preface., , , und . DIPES/BICC, Volume 329 von IFIP Advances in Information and Communication Technology, Seite 219. Springer, (2010)The KnowLang Approach to Self-adaptation., und . Software, Services, and Systems, Volume 8950 von Lecture Notes in Computer Science, Seite 676-692. Springer, (2015)Ten Commandments of Formal Methods... Ten Years On., und . Conquering Complexity, Springer, (2012)Fundamentals of Designing Complex Aerospace Software Systems., und . CSDM, Seite 65-80. Springer, (2011)Separation Kernel Verification: The Xtratum Case Study., , und . VSTTE, Volume 8471 von Lecture Notes in Computer Science, Seite 133-149. Springer, (2014)A consumer/producer approach to risk-driven software reliability and testing., und . SAC, Seite 537-538. ACM, (2009)Reasoning on Data Streams: An Approach to Adaptation in Pervasive Systems., , , und . ICTCC, Volume 144 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 23-32. Springer, (2014)Desert Island Column.. Autom. Softw. Eng., 15 (3-4): 393-402 (2008)Model-Based Verification of Embedded Software., und . Computer, 42 (4): 53-59 (2009)Knowledge Representation for Cognitive Robotic Systems., und . ISORC Workshops, Seite 156-163. IEEE Computer Society, (2012)