Advances in model checking of extended linear duration invariants (Q3306501)
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: Advances in model checking of extended linear duration invariants |
scientific article; zbMATH DE number 7233823
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Advances in model checking of extended linear duration invariants |
scientific article; zbMATH DE number 7233823 |
Statements
12 August 2020
0 references
duration calculus
0 references
extended linear duration invariants
0 references
model checking
0 references
real-time systems
0 references
0.8709129691123962
0 references
0.8165127635002136
0 references
0.8102110028266907
0 references
0.7885571122169495
0 references
0.7784550786018372
0 references
