Distributed parametric model checking timed automata under non-zenoness assumption (Q6108439)
From MaRDI portal
scientific article; zbMATH DE number 7704608
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Distributed parametric model checking timed automata under non-zenoness assumption |
scientific article; zbMATH DE number 7704608 |
Statements
Distributed parametric model checking timed automata under non-zenoness assumption (English)
0 references
29 June 2023
0 references
parameter synthesis
0 references
parametric model checking
0 references
Zeno behaviors
0 references
parametric timed automata
0 references
distributed computing
0 references
