Timed substitutions for regular signal-event languages (Q2385194)
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: Timed substitutions for regular signal-event languages |
scientific article; zbMATH DE number 5199904
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Timed substitutions for regular signal-event languages |
scientific article; zbMATH DE number 5199904 |
Statements
Timed substitutions for regular signal-event languages (English)
0 references
11 October 2007
0 references
Timed automata
0 references
Signal-event word
0 references
Substitution
0 references
Refinement
0 references
Abstraction
0 references
0.9555023908615112
0 references
0.8415720462799072
0 references
0.7498601675033569
0 references
0.7436173558235168
0 references
0.7268665432929993
0 references