Traceability and model checking to support safety requirement verification. Kan, S. In Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 783–786, 2014. tex.ids= kanTraceabilityModelChecking2014, kanTraceabilityModelChecking2014a
doi  bibtex   
@inproceedings{kan_traceability_2014,
	title = {Traceability and model checking to support safety requirement verification},
	doi = {10/ghvzzm},
	booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} {International} {Symposium} on {Foundations} of {Software} {Engineering}},
	author = {Kan, Shuanglong},
	year = {2014},
	note = {tex.ids= kanTraceabilityModelChecking2014, kanTraceabilityModelChecking2014a},
	pages = {783--786},
}

Downloads: 0