( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
User Flexibility Aware Price Policy Synthesis for Smart Grids.

, , , , , , , , и . DSD, стр. 478-485. IEEE Computer Society, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Igor Barabash

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

Igor Pilawski

Igor Barsukov

Igor Yakushev

Igor Pribicevic

 

Другие публикации лиц с тем же именем

Visualisation of Control Software for Cyber-Physical Systems., , , и . Inf., 12 (5): 178 (2021)Parallel Statistical Model Checking for Safety Verification in Smart Grids., , , , , , , , и . SmartGridComm, стр. 1-6. IEEE, (2018)Demand-aware price policy synthesis and verification services for Smart Grids., , , , , , , , и . SmartGridComm, стр. 794-799. IEEE, (2014)On model based synthesis of embedded control software., , , , и . EMSOFT, стр. 227-236. ACM, (2012)Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier., , , , и . ICTCS, том 2841 из Lecture Notes in Computer Science, стр. 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., , , , , и . SPIN, том 3925 из Lecture Notes in Computer Science, стр. 108-125. Springer, (2006)Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification., , и . CoRR, (2021)An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks., , , , и . ISMIS, том 11177 из Lecture Notes in Computer Science, стр. 302-312. Springer, (2018)Exploiting Hub States in Automatic Verification., , , и . ATVA, том 3707 из Lecture Notes in Computer Science, стр. 54-68. Springer, (2005)