Autor der Publikation

Using RAIC for Dependable On-line Upgrading of Distributed Systems.

, und . COMPSAC, Seite 1006-1011. IEEE Computer Society, (2002)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Formality of the Security Specification Process: Benefits Beyond Requirements., , und . HICSS, Seite 1-6. IEEE Computer Society, (2010)Supporting Physicians by RE4S: Evaluating Requirements Engineering for Sustainability in the Medical Domain., , und . GREENS, Seite 36-42. IEEE Computer Society, (2015)Applications of symbolic evaluation., und . Journal of Systems and Software, 5 (1): 15-35 (1985)Partition Analysis: A Method Combining Testing and Verification., und . IEEE Trans. Software Eng., 11 (12): 1477-1490 (1985)Towards Discovery, Specification, and Verification of Component Usage., und . ASE, Seite 331-334. IEEE Computer Society, (1999)Increasing Trustworthiness through Security Testing Support., , und . SocialCom/PASSAT, Seite 920-925. IEEE Computer Society, (2010)Collapse (and other futures) software engineering., , , , und . First Monday, (2015)Scenarios, state machines and purpose-driven testing., , und . ACM SIGSOFT Software Engineering Notes, 30 (4): 1-5 (2005)Research directions in RAIC., und . ACM SIGSOFT Software Engineering Notes, 27 (3): 43-46 (2002)SoBelt: structural and behavioral execution instrumentation tool.. ACM SIGSOFT Software Engineering Notes, 25 (1): 107 (2000)