PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Cauchi, Nathalie"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ARCH-COMP18 Category Report: Stochastic Modelling.

, , , , , , , , , , und . ARCH@ADHS, Volume 54 von EPiC Series in Computing, Seite 71-103. EasyChair, (2018)

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 Cauchi, Nathalie
Eine Person hinzufügen mit dem Namen Cauchi, Nathalie
 

Weitere Publikationen von Autoren mit dem selben Namen

Benchmarks for cyber-physical systems: A modular model library for building automation systems (Extended version)., und . CoRR, (2018)Benchmarks for cyber-physical systems: A modular model library for building automation systems., und . ADHS, Volume 51 von IFAC-PapersOnLine, Seite 49-54. Elsevier, (2018)Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees., , , und . CoRR, (2018)StocHy: automated verification and synthesis of stochastic processes., , und . CoRR, (2019)Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings., , und . CoRR, (2019)ARCH-COMP18 Category Report: Stochastic Modelling., , , , , , , , , und 1 andere Autor(en). ARCH@ADHS, Volume 54 von EPiC Series in Computing, Seite 71-103. EasyChair, (2018)StocHy : Automated Verification and Synthesis of Stochastic Processes., und . TACAS (2), Volume 11428 von Lecture Notes in Computer Science, Seite 247-264. Springer, (2019)Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems., , , , , und . HSCC, Seite 240-251. ACM, (2019)Modelling Smart Buildings Using Fault Maintenance Trees., , , , , und . EPEW, Volume 11178 von Lecture Notes in Computer Science, Seite 110-125. Springer, (2018)StocHy - automated verification and synthesis of stochastic processes: poster abstract., und . HSCC, Seite 258-259. ACM, (2019)