( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Probabilistic Approach to Automatic Verification of Concurrent Systems.

, , , и . APSEC, стр. 317-324. IEEE Computer Society, (2001)

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 Körner

Enrico Meier

Enrico Streit

 

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

X-Separability and Left-Invertibility in lambda-calculus, и . LICS, стр. 320-328. IEEE Computer Society, (1987)Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters, , , и . CoRR, (2011)Introductory Paper.. Int. J. Softw. Tools Technol. Transf., 8 (4-5): 355-358 (2006)Parallelization of Cycle-Based Logic Simulation., , и . Parallel Process. Lett., 27 (2): 1750003:1-1750003:16 (2017)SyLVaaS: System Level Formal Verification as a Service., , , , и . Fundam. Informaticae, 149 (1-2): 101-132 (2016)Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review., , и . Inf., 11 (12): 588 (2020)Visualisation of Control Software for Cyber-Physical Systems., , , и . Inf., 12 (5): 178 (2021)Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier., , , , и . ICTCS, том 2841 из Lecture Notes in Computer Science, стр. 58-71. Springer, (2003)Model-based synthesis of control software from system-level formal specifications., , , и . ACM Trans. Softw. Eng. Methodol., 23 (1): 6:1-6:42 (2014)On model based synthesis of embedded control software., , , , и . EMSOFT, стр. 227-236. ACM, (2012)