The MODUS Approach to Formal Verification
Background: Software reliability is of great importance for the development of embedded systems that are often used in applications that have requirements for safety. Since the life cycle of embedded products is becoming shorter, productivity and quality simultaneously required and closely in the pr...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Sciendo
2014-03-01
|
| Series: | Business Systems Research |
| Subjects: | |
| Online Access: | https://doi.org/10.2478/bsrj-2014-0002 |