A formal approach to rigorous development of critical systems

NK Singh, M Lawford, TSE Maibaum… - Journal of Software …, 2021 - Wiley Online Library
Safety critical systems, such as medical, automotive, and avionics systems, play an
important role in our daily lives. Increasing demand for new technologies in these safety …
被引用次数：8 相关文章
[PDF] researchgate.net

[PDF][PDF] A Formal Approach to Rigorous Development of Critical Systems

NK Singh, M Lawford, TSE Maibaum, A Wassyng - researchgate.net
Safety critical systems, such as medical, automotive, and avionics systems, play an
important role in our daily lives. Increasing demand for new technologies in these safety …

A formal approach to rigorous development of critical systems.

NK Singh, M Lawford, TSE Maibaum… - Journal of Software …, 2021 - search.ebscohost.com
Safety critical systems, such as medical, automotive, and avionics systems, play an
important role in our daily lives. Increasing demand for new technologies in these safety …

A formal approach to rigorous development of critical systems

NK Singh, M Lawford, TSE Maibaum… - Journal of Software …, 2021 - dl.acm.org
Safety critical systems, such as medical, automotive, and avionics systems, play an
important role in our daily lives. Increasing demand for new technologies in these safety …

A formal approach to rigorous development of critical systems

NK Singh, M Lawford, T Maibaum… - Journal of Software …, 2021 - hal.science
Safety critical systems, such as medical, automotive, and avionics systems, play an
important role in our daily lives. Increasing demand for new technologies in these safety …