( en | de | ru )

 

Disambiguierung von "Melatti, Igor"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
MILP, pseudo-boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks.

, , , , und . CoRR, (2021)

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 Yakushev

Igor Barsukov

Igor Pribicevic

Igor Pilawski

 

Weitere Publikationen von Autoren mit dem selben Namen

Visualisation of Control Software for Cyber-Physical Systems., , , und . Inf., 12 (5): 178 (2021)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)On model based synthesis of embedded control software., , , , und . EMSOFT, Seite 227-236. ACM, (2012)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)Explicit Algorithms for Probabilistic Model Checking.. Sapienza University of Rome, Italy, (2005)base-search.net (ftunivromairis:oai:iris.uniroma1.it:11573/488365).Parallel and Distributed Model Checking in Eddy., , , , , und . SPIN, Volume 3925 von Lecture Notes in Computer Science, Seite 108-125. Springer, (2006)Exploiting Hub States in Automatic Verification., , , und . ATVA, Volume 3707 von Lecture Notes in Computer Science, Seite 54-68. Springer, (2005)Automatic Verification of a Turbogas Control System with the Mur varphi Verifier., , , , , , , und . HSCC, Volume 2623 von Lecture Notes in Computer Science, Seite 141-155. Springer, (2003)Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification., , und . CoRR, (2021)