( en | de | ru )

 

Disambiguierung von "Hinchey, Mike"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Complexity Reliability Model.

, und . ISSRE, Seite 1-10. IEEE Computer Society, (2009)

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

Fundamentals of Designing Complex Aerospace Software Systems., und . CSDM, Seite 65-80. Springer, (2011)Desert Island Column.. Autom. Softw. Eng., 15 (3-4): 393-402 (2008)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)Ten Commandments of Formal Methods... Ten Years On., und . Conquering Complexity, Springer, (2012)A consumer/producer approach to risk-driven software reliability and testing., und . SAC, Seite 537-538. ACM, (2009)Separation Kernel Verification: The Xtratum Case Study., , und . VSTTE, Volume 8471 von Lecture Notes in Computer Science, Seite 133-149. Springer, (2014)Preface., , , und . DIPES/BICC, Volume 329 von IFIP Advances in Information and Communication Technology, Seite 219. Springer, (2010)Model-Based Verification of Embedded Software., und . Computer, 42 (4): 53-59 (2009)ASSL: A Software Engineering Approach to Autonomic Computing., und . Computer, 42 (6): 90-93 (2009)Knowledge Representation and Reasoning for Intelligent Software Systems., und . Computer, 44 (8): 96-99 (2011)