Autor der Publikation

Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows.

, , und . ADBIS Research Communications, Seite 206-216. Slovak University of Technology, Bratislava, (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

Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows., , und . ADBIS Research Communications, Seite 206-216. Slovak University of Technology, Bratislava, (2002)Class Union and Polymorphism., und . TOOLS (12/9), Seite 181-190. Prentice Hall, (1993)State, Event, Time and Diagram in System Modeling.. ICSE, Seite 733-734. IEEE Computer Society, (2001)An XML/XSL Approach to Visualize and Animate TCOZ., , , und . APSEC, Seite 453-460. IEEE Computer Society, (2001)Generic Fault Tolerant Software Architecture Reasoning and Customization., , , und . IEEE Trans. Reliability, 55 (3): 421-435 (2006)A framework for adding time into formal object models., und . WORDS, Seite 26-31. IEEE Computer Society, (1997)Ontology Generation through the Fusion of Partial Reuse and Relation Extraction., und . KR, Seite 318-328. AAAI Press, (2008)An Efficient Algorithm for Learning Event-Recording Automata., , , , und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 463-472. Springer, (2011)Developing Model Checkers Using PAT., , und . ATVA, Volume 6252 von Lecture Notes in Computer Science, Seite 371-377. Springer, (2010)Network Topology and a Case Study in TCOZ., und . ZUM, Volume 1493 von Lecture Notes in Computer Science, Seite 308-327. Springer, (1998)