Autor der Publikation

Formal Architecture Specification for Time Analysis.

, , und . ARCS, Volume 8350 von Lecture Notes in Computer Science, Seite 98-110. Springer, (2014)

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.

Keine Personen gefunden für den Autorennamen Filali, Mamoun
Eine Person hinzufügen mit dem Namen Filali, Mamoun
 

Weitere Publikationen von Autoren mit dem selben Namen

An Efficient Modeling and Execution Framework for Complex Systems Development., , , , , , , , , und 9 andere Autor(en). ICECCS, Seite 317-331. IEEE Computer Society, (2011)UML&AADL '2007 grand challenges., , , , , , , , und . SIGBED Review, 4 (4): 1 (2007)An Alternative Definition for Timed Automata Composition., , und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 105-119. Springer, (2011)A Mechanization of Phylogenetic Trees.. VERIFY, Volume 259 von CEUR Workshop Proceedings, CEUR-WS.org, (2007)Refinement Based Validation of an Algorithm for Detecting Distributed Termination., , , , und . IPDPS Workshops, Volume 1800 von Lecture Notes in Computer Science, Seite 1027-1036. Springer, (2000)Towards Safe Design of Synchronous Bus Protocols in Event-B., , , , und . SBMF, Volume 5902 von Lecture Notes in Computer Science, Seite 170-185. Springer, (2009)A State/Event Temporal Deontic Logic., , und . DEON, Volume 4048 von Lecture Notes in Computer Science, Seite 85-100. Springer, (2006)On the Refinement of symmetric memory protocols., und . TPHOLs, Volume 971 von Lecture Notes in Computer Science, Seite 58-74. Springer, (1995)Towards a HOL Theory and Memory., , und . TPHOLs, Volume 859 von Lecture Notes in Computer Science, Seite 49-64. Springer, (1994)A comparative study of two formal semantics of the SIGNAL language., , und . Frontiers of Computer Science, 7 (5): 673-693 (2013)