( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Applying infinite state model checking and other analysis techniques to tabular requirements specifications of^A safety-critical systems

, и . Design Automation for Embedded Systems, (2008)
DOI: http://dx.doi.org/10.1007/s10617-008-9014-2

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.

Jan Heitmeyer

Rosalie Heitmeyer

Maria Heitmeyer

Erika Heitmeyer

Christine Heitmeyer

 

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

Applying infinite state model checking and other analysis techniques to tabular requirements specifications of^A safety-critical systems, и . Design Automation for Embedded Systems, (2008)Model Checking Complete Requirements Specifications Using Abstraction., и . Autom. Softw. Eng., 6 (1): 37-68 (1999)Automated Consistency Checking of Requirements Specifications., , и . ACM Trans. Softw. Eng. Methodol., 5 (3): 231-261 (1996)A Model-Based Approach to Testing Software for Critical Behavior and Properties.. ICTSS, том 6435 из Lecture Notes in Computer Science, стр. 15. Springer, (2010)Evaluating Two Aspects of Direct Manipulation in Advanced Cockpits., , и . CHI, стр. 127-134. ACM, (1992)High assurance human-centric decision systems., , , , , и . RAISE@ICSE, стр. 35-41. IEEE Computer Society, (2013)An Algorithm for Strengthening State Invariants Generated from Requirements Specifications., и . RE, стр. 182-193. IEEE Computer Society, (2001)A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications., , , , и . HASE, стр. 78-84. IEEE Computer Society, (1997)SCR: A Practical Approach to Building a High Assurance COMSEC System., , и . ACSAC, стр. 109-118. IEEE Computer Society, (1999)Panel on design for verification., , и . MEMOCODE, стр. 232-235. IEEE Computer Society, (2005)