( en | de | ru )

 

Disambiguierung von "Mallet, Frédéric"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Concurrent Control Systems: From Grafcet to VHDL.

, , und . EUROMICRO, Seite 1230-1234. IEEE Computer Society, (2000)

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.

Grégory Mallet

Frédéric Ruckert

Frédéric Robin

Frédéric Roux

Frédéric Ziebarth

 

Weitere Publikationen von Autoren mit dem selben Namen

pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems., , , und . Sci. Comput. Program., (2018)Event-Triggered vs. Time-Triggered Communications with UML MARTE., , und . FDL, Seite 154-159. IEEE, (2008)A clock-based dynamic logic for schedulability analysis of CCSL specifications., , , , , und . Sci. Comput. Program., (2021)Formally verifying consistency of sequence diagrams for safety critical systems., , , , , und . Sci. Comput. Program., (2022)TRAP: trace runtime analysis of properties., , und . Frontiers Comput. Sci., 14 (3): 143201 (2020)Hybrid MARTE statecharts., , , , und . Frontiers Comput. Sci., 7 (1): 95-108 (2013)Temps Logique pour l'ingénierie dirigée par le modèles (Logical Time in Model-Driven Engineering).. (2010)Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications., , , und . FTSCS, Volume 1008 von Communications in Computer and Information Science, Seite 101-118. Springer, (2018)Lazy Parallel Synchronous Composition of Infinite Transition Systems., und . ICTERI, Volume 1000 von CEUR Workshop Proceedings, Seite 130-145. CEUR-WS.org, (2013)Polychronous Analysis of Timing Constraints in UML MARTE., , , , , , und . ISORC Workshops, Seite 145-151. IEEE Computer Society, (2010)