( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Finite horizon analysis of Markov Chains with the Murphi verifier.

, , , , и . Int. J. Softw. Tools Technol. Transf., 8 (4-5): 397-409 (2006)

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.

Valter Penna

Vincenzo Penna

Christina Pennavaja

Sergio Dellavalle

Claudio Penna

 

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

UPMurphi: A Tool for Universal Planning on PDDL+ Problems., , , и . ICAPS, AAAI, (2009)Visual extraction of information from web pages, , и . Journal of Visual Languages & Computing, 21 (1): 23--32 (февраля 2010)Exploiting Transition Locality in Automatic Verification., , , и . CHARME, том 2144 из Lecture Notes in Computer Science, стр. 259-274. Springer, (2001)Exploiting Hub States in Automatic Verification., , , и . ATVA, том 3707 из Lecture Notes in Computer Science, стр. 54-68. Springer, (2005)Automatic Verification of a Turbogas Control System with the Mur varphi Verifier., , , , , , , и . HSCC, том 2623 из Lecture Notes in Computer Science, стр. 141-155. Springer, (2003)Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains., , , и . Int. J. Artif. Intell. Tools, 24 (6): 1550025:1-1550025:45 (2015)A Methodology for Scenario Development., , , и . SEKE, стр. 7-12. (2004)New Optimization Approaches in Malware Traffic Analysis., , и . LOD, том 13163 из Lecture Notes in Computer Science, стр. 57-68. Springer, (2021)A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies., , , , и . AIBP@AI*IA, том 1101 из CEUR Workshop Proceedings, стр. 11-20. CEUR-WS.org, (2013)Verifying Extended Criteria for the Interoperability of Security Devices., , , , , и . OTM Conferences (2), том 5332 из Lecture Notes in Computer Science, стр. 1131-1139. Springer, (2008)