No label defined (Q4246836)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1301632
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1301632 |
Statements
12 January 2000
0 references
real-time systems
0 references
discrete event systems
0 references
interval temporal systems
0 references
duration calculus
0 references
interval temporal logic
0 references
timing
0 references
system modeling
0 references
0.7978976368904114
0 references
0.7816179394721985
0 references
0.781548023223877
0 references
0.7794377207756042
0 references
