( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Software engineering and formal methods.

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

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.

Bernd Miketta

Anna Mikecz

Helmut Mikelskis

Heinz Miketta

Anna Mikecz

 

Другие публикации лиц с тем же именем

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