From post

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.

 

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

Entwurf verteilter Systeme im Sonderforschungsbereich 342.. GI Jahrestagung, стр. 289-298. Springer, (1999)Model Checking and Random Competition - A Study Using the Model Checking Framework MIC., , и . FBT, стр. 91-100. Verlag Shaker, (2000)Roots of Refactoring, и . (2001)Roots of Refactoring, и . (2001)Methodological Issues in Model-Based Testing., и . Model-Based Testing of Reactive Systems, том 3472 из Lecture Notes in Computer Science, стр. 281-291. Springer, (2004)The Quest for Correct Systems: Model Checking of Diagrams and Datatypes., и . APSEC, стр. 449-. IEEE Computer Society, (1999)Model-Based Development, , , и . (2002)Formal Verification and Hardware Design with Statecharts., и . Prospects for Hardware Foundations, том 1546 из Lecture Notes in Computer Science, стр. 356-389. Springer, (1998)Strategies and best practices for model-based systems engineering adoption in embedded systems industry., , , , и . ICSE (SEIP), стр. 203-212. IEEE / ACM, (2019)Refinement of Information Flow Architectures., и . ICFEM, стр. 203-212. IEEE Computer Society, (1997)