Formal Methods for Commercial Applications Issues vs. Solutions

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: 2
Citations

Journals Menu

"Formal Methods for Commercial Applications Issues vs. Solutions"
written by Saiqa Bibi, Saira Mazhar, Nasir Mehmood Minhas, Irfan Ahmed,
published by Journal of Software Engineering and Applications, Vol.7 No.8, 2014

has been cited by the following article(s):

Google Scholar
CrossRef

[1]	The 4SECURail Case Study on Rigorous Standard Interface Specifications
	… Conference on Formal …, 2023

[2]	Case Study of Model-Based Validation & Verification of an Agricultural Crop Engaging Control System
	2021

[3]	Técnicas de Inspeção para Diagramas de Classes UML: Uma Revisão Sistemática
	2019

[4]	FORMAL METHOD: A DIVIDEND DRAWN FROM HIGH PERFORMANCE COMPUTING (HPC) ENVIRONMENT
	“All papers published in the, 2015

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