Formal Methods in System Design
| Format: | Electronic Journal |
|---|---|
| Language: | English |
| Published: |
Springer US
|
| Online Access: | Full text available on Springer Off-campus access |
Similar Items
- Formal Methods in Computer Aided Design
-
Formal Methods for Dynamical Systems
Published: (2013) -
Integrated Formal Methods
Published: (2013) -
NASA Formal Methods
Published: (2013) - 2013 Formal Methods in Computer-Aided Design