Real-Time Systems (Q5900383)
From MaRDI portal
scientific article; zbMATH DE number 5350202
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Real-Time Systems |
scientific article; zbMATH DE number 5350202 |
Statements
Real-Time Systems (English)
0 references
9 October 2008
0 references
real-time system
0 references
safety critical applications
0 references
mathematical modeling based design
0 references
design verification
0 references
