Formal Methods for Commercial Applications Issues vs. Solutions

Journal of Software Engineering and Applications

ISSN Print: 1945-3116
ISSN Online: 1945-3124
www.scirp.net/journal/jsea
E-mail: [email protected]

Citations

"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

	[email protected]
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Journal of Software Engineering and Applications

Journal of Software Engineering and Applications

Journals Menu

Guidelines & Policies

Home

About SCIRP

Service

Policies

[1]	Framework to Mitigate SRS Ambiguity Incorporating Formal Methods 2025 20th International Conference on Emerging Technologies (ICET), 2025 DOI:10.1109/ICET66147.2025.11321438