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, kanTraceabilityModelChecking2014adoi 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
{"_id":"gwaFLacxrAe4gz7GN","bibbaseid":"kan-traceabilityandmodelcheckingtosupportsafetyrequirementverification-2014","author_short":["Kan, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":[{"propositions":[],"lastnames":["Kan"],"firstnames":["Shuanglong"],"suffixes":[]}],"year":"2014","note":"tex.ids= kanTraceabilityModelChecking2014, kanTraceabilityModelChecking2014a","pages":"783–786","bibtex":"@inproceedings{kan_traceability_2014,\n\ttitle = {Traceability and model checking to support safety requirement verification},\n\tdoi = {10/ghvzzm},\n\tbooktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} {International} {Symposium} on {Foundations} of {Software} {Engineering}},\n\tauthor = {Kan, Shuanglong},\n\tyear = {2014},\n\tnote = {tex.ids= kanTraceabilityModelChecking2014, kanTraceabilityModelChecking2014a},\n\tpages = {783--786},\n}\n\n","author_short":["Kan, S."],"key":"kan_traceability_2014","id":"kan_traceability_2014","bibbaseid":"kan-traceabilityandmodelcheckingtosupportsafetyrequirementverification-2014","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["traceability","model","checking","support","safety","requirement","verification","kan"],"title":"Traceability and model checking to support safety requirement verification","year":2014}