( en | de | ru )

 

Disambiguierung von "Bartocci, Ezio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
TD-Magic: From Pictures of Timing Diagrams To Formal Specifications.

, , , und . DAC, Seite 1-6. IEEE, (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.

Ezio Iacono

Matthias Obanechem Ezioba

 

Weitere Publikationen von Autoren mit dem selben Namen

SEA-PARAM: Exploring Schedulers in Parametric MDPs., , und . QAPL@ETAPS, Volume 250 von EPTCS, Seite 25-38. (2017)Shape Calculus. A Spatial Mobile Calculus for 3D Shapes., , , , und . Sci. Ann. Comput. Sci., (2010)CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities., , , und . CoRR, (2020)Medical Cyber-Physical Systems - (Track Introduction)., , und . ISoLA (2), Volume 8803 von Lecture Notes in Computer Science, Seite 353-355. Springer, (2014)Automatic Failure Explanation in CPS Models., , , , und . SEFM, Volume 11724 von Lecture Notes in Computer Science, Seite 69-86. Springer, (2019)Parameter-Independent Strategies for pMDPs via POMDPs., , , , und . QEST, Volume 11024 von Lecture Notes in Computer Science, Seite 53-70. Springer, (2018)Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home., , und . ISCT, Seite 97-102. IEEE, (2019)Moment-based analysis of Bayesian network properties., , und . Theor. Comput. Sci., (2022)Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes., , und . CAV (1), Volume 10981 von Lecture Notes in Computer Science, Seite 449-467. Springer, (2018)Progression for Monitoring in Temporal ASP., , , und . ECAI, Volume 372 von Frontiers in Artificial Intelligence and Applications, Seite 2170-2177. IOS Press, (2023)