Skip to Main Content (Press Enter)
×
Home
People
Outputs
Organizations
Expertise & Skills
IT
EN
☰
UNI-FIND
|
UNI-FIND
cnr.it
IT
EN
×
Home
People
Outputs
Organizations
Expertise & Skills
☰
Outputs
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking.
Academic Article
Publication Date:
2005
Iris type:
01.01 Articolo in rivista
Keywords:
Fault Tolerant Systems; Formal Verification; Partial Model Checking
List of contributors:
Martinelli, Fabio
Authors of the University:
MARTINELLI FABIO
Handle:
https://iris.cnr.it/handle/20.500.14243/24757
