Special issue: Formal design of safety critical embedded systems. Selected papers from the FemSys '99 conference, Munich, Germany, March 1999 (Q5946343)
From MaRDI portal
scientific article; zbMATH DE number 1658695
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Special issue: Formal design of safety critical embedded systems. Selected papers from the FemSys '99 conference, Munich, Germany, March 1999 |
scientific article; zbMATH DE number 1658695 |
Statements
Special issue: Formal design of safety critical embedded systems. Selected papers from the FemSys '99 conference, Munich, Germany, March 1999 (English)
0 references
19 March 2002
0 references
The articles of this volume will be reviewed individually.
0 references
Munich (Germany)
0 references
Papers
0 references
Conference
0 references
Special issue
0 references
Formal design
0 references
Safety critical embedded systems
0 references
