( en | de | ru )

 

Disambiguierung von "Heitmeyer, Constance L."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analyzing tabular requirements specifications using infinite state model checking.

, und . MEMOCODE, Seite 7-16. IEEE Computer Society, (2006)

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

Erika Heitmeyer

Christine Heitmeyer

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Military Message Systems: Current Status and Future Directions., und . IEEE Trans. Commun., 28 (9): 1645-1654 (1980)Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda., , , , , , , , , und . Requir. Eng., 7 (3): 113-123 (2002)Requirements Models for Critical Systems.. Software and Systems Safety - Specification and Verification, Volume 30 von NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2011)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)Evaluating Two Aspects of Direct Manipulation in Advanced Cockpits., , und . CHI, Seite 127-134. ACM, (1992)Panel on design for verification., , und . MEMOCODE, Seite 232-235. IEEE Computer Society, (2005)SCR: A Practical Approach to Building a High Assurance COMSEC System., , und . ACSAC, Seite 109-118. IEEE Computer Society, (1999)High assurance human-centric decision systems., , , , , und . RAISE@ICSE, Seite 35-41. IEEE Computer Society, (2013)