In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft. Guernic, G. L. In Pang, J. & Liu, Y., editors, ESSS, volume 150, of EPTCS, pages 50-55, 2014.
In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft. [link]Link  In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft. [link]Paper  bibtex   
@inproceedings{journals/corr/Guernic14,
  added-at = {2014-06-02T00:00:00.000+0200},
  author = {Guernic, Gurvan Le},
  biburl = {http://www.bibsonomy.org/bibtex/2a9dc88b1feeed46a0c10403845297084/dblp},
  booktitle = {ESSS},
  crossref = {journals/corr/PangL14},
  editor = {Pang, Jun and Liu, Yang},
  ee = {http://dx.doi.org/10.4204/EPTCS.150.5},
  interhash = {8768db56156ad4701973283e40874222},
  intrahash = {a9dc88b1feeed46a0c10403845297084},
  keywords = {dblp},
  pages = {50-55},
  series = {EPTCS},
  timestamp = {2015-06-18T10:18:21.000+0200},
  title = {In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft.},
  url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs150.html#Guernic14},
  volume = 150,
  year = 2014
}

Downloads: 0