Formal methods for safety critical system specification
2014
Keywords:
- Computer science
- Software requirements specification
- Software design
- Software peer review
- Social software engineering
- Formal methods
- Reliability engineering
- Package development process
- Formal specification
- Systems engineering
- Formal verification
- Avionics software
- Software system
- Software development process
- Software engineering
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
16
References
8
Citations
NaN
KQI