Autor der Publikation

An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language.

, , , , und . SEKE, Seite 765-770. Knowledge Systems Institute Graduate School, (2010)

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

Ada-Based support for programming-in-the-Large., , und . IEEE Software, 2 (2): 58-71 (1985)A Compact Petri Net Representation and Its Implications for Analysis., und . IEEE Trans. Software Eng., 22 (11): 794-811 (1996)The AdaPIC Tool Set: Supporting Interface Control and Analysis Throughout the Software Development Process., , und . IEEE Trans. Software Eng., 15 (3): 250-263 (1989)A System to Generate Test Data and Symbolically Execute Programs.. IEEE Trans. Software Eng., 2 (3): 215-222 (1976)Extending and Limiting PGraphite-style Persistence., , und . POS, Seite 74-86. Morgan Kaufmann, (1990)Insider Threat Identification by Process Analysis., , , , , , , und . IEEE Symposium on Security and Privacy Workshops, Seite 251-264. IEEE Computer Society, (2014)Specifying and verifying requirements for election processes., , , und . DG.O, Volume 289 von ACM International Conference Proceeding Series, Seite 63-72. Digital Government Research Center, (2008)A Comparison of Data Flow Path Selection Criteria., , , und . ICSE, Seite 244-251. IEEE Computer Society, (1985)The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification., , und . ICSE, Seite 37-46. IEEE Computer Society, (2001)Considerations for online deviation detection in medical processes., , und . SEHC@ICSE, Seite 50-56. IEEE Computer Society, (2013)