Safety and Security Assessment of Behavioral Properties Using Alloy. Brunel, J. & Chemouil, D. In 2015. HAL CCSD.
Safety and Security Assessment of Behavioral Properties Using Alloy [link]Paper  doi  bibtex   
@inproceedings{brunel_safety_2015,
	title = {Safety and {Security} {Assessment} of {Behavioral} {Properties} {Using} {Alloy}},
	url = {https://hal.archives-ouvertes.fr/hal-01206638},
	doi = {10/gh25wq},
	language = {English},
	publisher = {HAL CCSD},
	author = {Brunel, Julien and Chemouil, David},
	year = {2015},
	keywords = {[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]},
}

Downloads: 0