Why Formal Methods Are Considered for Safety Critical Systems?

Journals Menu

Follow SCIRP

	+1 323-425-8868
	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Journal of Software Engineering and Applications

ISSN Print: 1945-3116
ISSN Online: 1945-3124
www.scirp.org/journal/jsea
E-mail: jsea@scirp.org

Google-based Impact Factor: 1.22
Citations h5-index & Ranking

Journals Menu

"Why Formal Methods Are Considered for Safety Critical Systems?"
written by Monika Singh, Ashok Kumar Sharma, Ruhi Saxena,
published by Journal of Software Engineering and Applications, Vol.8 No.10, 2015

has been cited by the following article(s):

Google Scholar
CrossRef

[1]	Formal Verification of a Fail-Operational Automotive Driving System
	2021

[2]	Artificial intelligence in safety-critical systems: a systematic review
	Industrial Management & Data Systems, 2021

[3]	An integration of uml use case diagram and activity diagram with Z language for formalization of library management system.
	2019

[4]	An integration of uml use case diagram and activity diagram with Z language for formalization of library management system
	2019

[5]	Review of Formal Agile Methods as Cost-Effective Airworthiness Certification Processes
	2018

[6]	Review of the use of Formal Specification Techniques in Safety Critical Systems
	International Journal of Recent Technology and Engineering, 2018

Follow SCIRP

	+1 323-425-8868
	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Free SCIRP Newsletters

Add your e-mail address to receive free newsletters from SCIRP.

Top

Journal of Software Engineering and Applications

Journal of Software Engineering and Applications

Journals Menu

Home

About SCIRP

Service

Policies