From Scenarios to Timed Automata (Q5045458)
From MaRDI portal
scientific article; zbMATH DE number 7612650
Language | Label | Description | Also known as |
---|---|---|---|
English | From Scenarios to Timed Automata |
scientific article; zbMATH DE number 7612650 |
Statements
From Scenarios to Timed Automata (English)
0 references
4 November 2022
0 references
formal models
0 references
scenarios
0 references
timed automata
0 references