Safety-critical systems, formal methods and standards (Q56212166)
Jump to navigation
Jump to search
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | Safety-critical systems, formal methods and standards |
No description defined |
Statements
Safety-critical systems, formal methods and standards (English)
0 references
1993
0 references
8
0 references
4
0 references
189
0 references