( en | de | ru )

 

Disambiguierung von "Melatti, Igor"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems.

, , , und . CAV, Volume 6174 von Lecture Notes in Computer Science, Seite 180-195. Springer, (2010)

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.

Igor Barabash

Das Bildzitat im Internet. Uni München, (2009)

Igor Smolitsch

Igor Popov

Igor Pilawski

Igor Barsukov

 

Weitere Publikationen von Autoren mit dem selben Namen

Explicit Algorithms for Probabilistic Model Checking.. Sapienza University of Rome, Italy, (2005)base-search.net (ftunivromairis:oai:iris.uniroma1.it:11573/488365).Visualisation of Control Software for Cyber-Physical Systems., , , und . Inf., 12 (5): 178 (2021)Parallel and Distributed Model Checking in Eddy., , , , , und . SPIN, Volume 3925 von Lecture Notes in Computer Science, Seite 108-125. Springer, (2006)On model based synthesis of embedded control software., , , , und . EMSOFT, Seite 227-236. ACM, (2012)Parallel Statistical Model Checking for Safety Verification in Smart Grids., , , , , , , , und . SmartGridComm, Seite 1-6. IEEE, (2018)Demand-aware price policy synthesis and verification services for Smart Grids., , , , , , , , und . SmartGridComm, Seite 794-799. IEEE, (2014)Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier., , , , und . ICTCS, Volume 2841 von Lecture Notes in Computer Science, Seite 58-71. Springer, (2003)Exploiting Hub States in Automatic Verification., , , und . ATVA, Volume 3707 von Lecture Notes in Computer Science, Seite 54-68. Springer, (2005)An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks., , , , und . ISMIS, Volume 11177 von Lecture Notes in Computer Science, Seite 302-312. Springer, (2018)On-the-Fly Control Software Synthesis., , , , und . SPIN, Volume 7976 von Lecture Notes in Computer Science, Seite 61-80. Springer, (2013)