How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study (Q1395689)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study |
scientific article; zbMATH DE number 1944902
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study |
scientific article; zbMATH DE number 1944902 |
Statements
How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study (English)
0 references
1 July 2003
0 references
model checking
0 references
timed automata
0 references
verification
0 references
Uppaal
0 references
