Formal Methods in Systems Engineering /
As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved. The mathematical and scientific foundations currently used are extremely limited which means that their correctn...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London,
1993.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
