( en | de | ru )

 

Disambiguierung von "Morzenti, Angelo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Ambiguous Regular Expressions to Deterministic Parsing Automata.

, , , und . CIAA, Volume 9223 von Lecture Notes in Computer Science, Seite 35-48. Springer, (2015)

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.

Angelo Geissen

Angelo Jotzoff

Angelo Jotzoff

Angelo Schmandra

Angelo Brayner

 

Weitere Publikationen von Autoren mit dem selben Namen

Parsing methods streamlined., , und . CoRR, (2013)Validating Real-Time Systems by History-Checking TRIO Specifications., und . ICSE, Seite 199-211. ACM Press, (1992)TRIO Specification of a Steam Boiler Controller., und . Formal Methods for Industrial Applications, Volume 1165 von Lecture Notes in Computer Science, Seite 218-232. Springer, (1995)An Object-Oriented Logic Language for Modular System Specification., und . ECOOP, Volume 512 von Lecture Notes in Computer Science, Seite 39-58. Springer, (1991)Real-time system validation by model checking in TRIO., und . RTS, Seite 20-28. IEEE, (1991)A logic-based semantics for the verification of multi-diagram UML models., , , und . ACM SIGSOFT Softw. Eng. Notes, 37 (4): 1-8 (2012)Bounded satisfiability checking of metric temporal logic specifications., , und . ACM Trans. Softw. Eng. Methodol., 22 (3): 20:1-20:54 (2013)A Metric Temporal Logic for Dealing with Zero-Time Transitions., , , und . TIME, Seite 81-88. IEEE Computer Society, (2012)Bounded Reachability for Temporal Logic over Constraint Systems., , , , , und . TIME, Seite 43-50. IEEE Computer Society, (2010)Dealing with different time scales in formal specifications., , , , , , und . IWSSD, Seite 92-101. IEEE Computer Society, (1991)