Perspectives of System Informatics (Q5902411)
From MaRDI portal
scientific article; zbMATH DE number 5653030
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Perspectives of System Informatics |
scientific article; zbMATH DE number 5653030 |
Statements
Perspectives of System Informatics (English)
0 references
5 January 2010
0 references
modelling
0 references
verification
0 references
discrete time
0 references
\(\mu \)CRL
0 references
model checking
0 references
