Design of safety critical systems by refinement. Iliasov, A., Alekseyev, A., Sokolov, D., & Mokhov, A. In Fettweis, G. & Nebel, W., editors, DATE, pages 1-4, 2014. European Design and Automation Association.
Design of safety critical systems by refinement. [link]Link  Design of safety critical systems by refinement. [link]Paper  bibtex   
@inproceedings{conf/date/IliasovASM14,
  added-at = {2015-11-10T00:00:00.000+0100},
  author = {Iliasov, Alex and Alekseyev, Arseniy and Sokolov, Danil and Mokhov, Andrey},
  biburl = {http://www.bibsonomy.org/bibtex/2e0cc17f87fda8c5bbc6c75370d9d1b84/dblp},
  booktitle = {DATE},
  crossref = {conf/date/2014},
  editor = {Fettweis, Gerhard and Nebel, Wolfgang},
  ee = {http://dl.acm.org/citation.cfm?id=2616713},
  interhash = {216dbe089a2ad118997edf988dae0ee6},
  intrahash = {e0cc17f87fda8c5bbc6c75370d9d1b84},
  isbn = {978-3-9815370-2-4},
  keywords = {dblp},
  pages = {1-4},
  publisher = {European Design and Automation Association},
  timestamp = {2015-11-11T11:48:43.000+0100},
  title = {Design of safety critical systems by refinement.},
  url = {http://dblp.uni-trier.de/db/conf/date/date2014.html#IliasovASM14},
  year = 2014
}

Downloads: 0