( en | de | ru )

 

Disambiguierung von "Heitmeyer, Constance L."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
High assurance human-centric decision systems.

, , , , , und . RAISE@ICSE, Seite 35-41. IEEE Computer Society, (2013)

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.

Jan Heitmeyer

Rosalie Heitmeyer

Maria Heitmeyer

Christine Heitmeyer

Erika Heitmeyer

 

Weitere Publikationen von Autoren mit dem selben Namen

Model Checking Complete Requirements Specifications Using Abstraction., und . Autom. Softw. Eng., 6 (1): 37-68 (1999)Automated Consistency Checking of Requirements Specifications., , und . ACM Trans. Softw. Eng. Methodol., 5 (3): 231-261 (1996)High assurance human-centric decision systems., , , , , und . RAISE@ICSE, Seite 35-41. IEEE Computer Society, (2013)An Algorithm for Strengthening State Invariants Generated from Requirements Specifications., und . RE, Seite 182-193. IEEE Computer Society, (2001)A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications., , , , und . HASE, Seite 78-84. IEEE Computer Society, (1997)A Model-Based Approach to Testing Software for Critical Behavior and Properties.. ICTSS, Volume 6435 von Lecture Notes in Computer Science, Seite 15. Springer, (2010)Evaluating Two Aspects of Direct Manipulation in Advanced Cockpits., , und . CHI, Seite 127-134. ACM, (1992)SCR: A Practical Approach to Building a High Assurance COMSEC System., , und . ACSAC, Seite 109-118. IEEE Computer Society, (1999)Panel on design for verification., , und . MEMOCODE, Seite 232-235. IEEE Computer Society, (2005)Proving Invariants of I/O Automata with TAME., , und . Autom. Softw. Eng., 9 (3): 201-232 (2002)