Formal methods for the specification and design of real-time safety critical systems
Journal
-
- The Journal of Systems and Software
-
The Journal of Systems and Software 33-60, 1992
- Tweet
Details 詳細情報について
-
- CRID
- 1571980076611728896
-
- NII Article ID
- 80006549107
-
- Data Source
-
- CiNii Articles