Safety and Security Assessment of Behavioral Properties Using Alloy. Brunel, J. & Chemouil, D. In 2015. HAL CCSD.
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
{"_id":"fbC8Kifh5jXXDEWYz","bibbaseid":"brunel-chemouil-safetyandsecurityassessmentofbehavioralpropertiesusingalloy-2015","author_short":["Brunel, J.","Chemouil, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":[{"propositions":[],"lastnames":["Brunel"],"firstnames":["Julien"],"suffixes":[]},{"propositions":[],"lastnames":["Chemouil"],"firstnames":["David"],"suffixes":[]}],"year":"2015","keywords":"[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]","bibtex":"@inproceedings{brunel_safety_2015,\n\ttitle = {Safety and {Security} {Assessment} of {Behavioral} {Properties} {Using} {Alloy}},\n\turl = {https://hal.archives-ouvertes.fr/hal-01206638},\n\tdoi = {10/gh25wq},\n\tlanguage = {English},\n\tpublisher = {HAL CCSD},\n\tauthor = {Brunel, Julien and Chemouil, David},\n\tyear = {2015},\n\tkeywords = {[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]},\n}\n\n","author_short":["Brunel, J.","Chemouil, D."],"key":"brunel_safety_2015","id":"brunel_safety_2015","bibbaseid":"brunel-chemouil-safetyandsecurityassessmentofbehavioralpropertiesusingalloy-2015","role":"author","urls":{"Paper":"https://hal.archives-ouvertes.fr/hal-01206638"},"keyword":["[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["[info.info-se]computer science [cs]/software engineering [cs.se]"],"search_terms":["safety","security","assessment","behavioral","properties","using","alloy","brunel","chemouil"],"title":"Safety and Security Assessment of Behavioral Properties Using Alloy","year":2015}