( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Parallel Statistical Model Checking for Safety Verification in Smart Grids.

, , , , , , , , и . CoRR, (2021)

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.

Giuseppe Tronci

Roberto Tronci

Enrico Fest

Enrico Edinger

Enrico Brissa

 

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

X-Separability and Left-Invertibility in lambda-calculus, и . LICS, стр. 320-328. IEEE Computer Society, (1987)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)Exploiting Transition Locality in the Disk Based Mur phi Verifier., , , и . FMCAD, том 2517 из Lecture Notes in Computer Science, стр. 202-219. Springer, (2002)On model based synthesis of embedded control software., , , , и . EMSOFT, стр. 227-236. ACM, (2012)A Symbolic Model Checker for ACTL., , , , и . FM-Trends, том 1641 из Lecture Notes in Computer Science, стр. 228-242. Springer, (1998)Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier., , , , и . ICTCS, том 2841 из Lecture Notes in Computer Science, стр. 58-71. Springer, (2003)Visualisation of Control Software for Cyber-Physical Systems., , , и . Inf., 12 (5): 178 (2021)Formal Models of Timing Attacks on Web Privacy., , , , , , и . TOSCA, том 62 из Electronic Notes in Theoretical Computer Science, стр. 229-243. Elsevier, (2001)Flexible Plan Verification: Feasibility Results., , , , и . RCRA@AI*IA, том 589 из CEUR Workshop Proceedings, CEUR-WS.org, (2009)