Modeling lessons from verifying large software systems for safety and security

Suresh Kothari

Payas Awadhutkar

Ahmed Tamrawi

Jon Mathews

Publication type: Proceedings Article

Publication date: 2017-12-01

Institute of Electrical and Electronics Engineers (IEEE)

DOI: 10.1109/WSC.2017.8247886

Copy DOI

Found

	1
IEEE Access	IEEE Access, 1, 25% IEEE Access 1 publication, 25%
Advances in Information Security	Advances in Information Security, 1, 25% Advances in Information Security 1 publication, 25%
	1

	1
Institute of Electrical and Electronics Engineers (IEEE)	Institute of Electrical and Electronics Engineers (IEEE), 1, 25% Institute of Electrical and Electronics Engineers (IEEE) 1 publication, 25%
Springer Nature	Springer Nature, 1, 25% Springer Nature 1 publication, 25%
	1

We do not take into account publications without a DOI.
Statistics recalculated only for publications connected to researchers, organizations and labs registered on the platform.
Statistics recalculated weekly.

Create a profile to get free access to personal recommendations for colleagues and new articles.

Metrics

Found error?

Publisher

Institute of Electrical and Electronics Engineers (IEEE)