( en | de | ru )

 

Disambiguierung von "Snook, Colin F."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling.

, , , und . ICTAC, Volume 14446 von Lecture Notes in Computer Science, Seite 178-195. Springer, (2023)

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.

Maité Colin

Samuel Colin

Hansjoachim Colin

Carmen Colinas Schwarz

Adelaida Colina

 

Weitere Publikationen von Autoren mit dem selben Namen

A proposal for extending UML-B to support a conceptual model., , und . Innov. Syst. Softw. Eng., 7 (4): 293-301 (2011)Formal verification and validation of run-to-completion style state charts using Event-B., , , , , und . Innov. Syst. Softw. Eng., 18 (4): 523-541 (2022)Extensible Record Structures in Event-B., , , , und . ABZ, Volume 12709 von Lecture Notes in Computer Science, Seite 130-136. Springer, (2021)Building an Extensible Textual Framework for the Rodin Platform., , , , und . SEFM Workshops, Volume 13765 von Lecture Notes in Computer Science, Seite 132-147. Springer, (2022)Using UML-B and U2B for formal refinement of digital components1., und . FDL, Seite 505-515. ECSI, (2003)Rigorous engineering of product-line requirements: A case study in failure management., , und . Inf. Softw. Technol., 50 (1-2): 112-129 (2008)Refinement of Statecharts with Run-to-Completion Semantics., , , , und . FTSCS, Volume 1008 von Communications in Computer and Information Science, Seite 121-138. Springer, (2018)Reusing Formal Models via Lifting., , , und . ICECCS, Seite 189-192. IEEE Computer Society, (2018)Refinement of Statemachines Using Event B Semantics., und . B, Volume 4355 von Lecture Notes in Computer Science, Seite 171-185. Springer, (2007)Experimental comparison of the comprehensibility of a Z specification and its implementation in Java., und . Inf. Softw. Technol., 46 (14): 955-971 (2004)