Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
type: Item
instance of: scholarly article
title: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
zbMATH Open document ID: 1109.68519
author: Nicolas Markey
author: Philippe Schnoebelen
published in: Lecture Notes in Computer Science
publication date: 2005-08-19T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 2195847
describes a project that uses: Kronos
describes a project that uses: Uppaal
describes a project that uses: NuSMV
describes a project that uses: RAVEN
MaRDI profile type: MaRDI publication profile
full work available at URL: b100824
OpenAlex ID: W4206454994
DOI: 10.1007/B100824
Recommended article: Symbolic model checking for real-time systems
Recommended article: Q4817528
Recommended article: Symbolic model checking of timed guarded commands using difference decision diagrams
Recommended article: Q4255572
Recommended article: Symbolic model checking: \(10^{20}\) states and beyond
description: scientific article; zbMATH DE number 2195847