Towards verified systems /
As the complexity of embedded computer-controlled systems increases, the present industrial practice for their development gives cause for concern, especially for safety-critical applications where human lives are at stake. The use of software in such systems has increased enormously in the last dec...
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Amsterdam ; New York :
Elsevier,
1994.
|
| Series: | Real-time safety critical systems ;
2. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
