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.
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
{"_id":"ci7y9xwskEuPCCZEA","bibbaseid":"iliasov-alekseyev-sokolov-mokhov-designofsafetycriticalsystemsbyrefinement-2014","downloads":0,"creationDate":"2016-01-22T05:24:52.540Z","title":"Design of safety critical systems by refinement.","author_short":["Iliasov, A.","Alekseyev, A.","Sokolov, D.","Mokhov, A."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Igor Sokolov?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2015-11-10T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Iliasov"],"firstnames":["Alex"],"suffixes":[]},{"propositions":[],"lastnames":["Alekseyev"],"firstnames":["Arseniy"],"suffixes":[]},{"propositions":[],"lastnames":["Sokolov"],"firstnames":["Danil"],"suffixes":[]},{"propositions":[],"lastnames":["Mokhov"],"firstnames":["Andrey"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2e0cc17f87fda8c5bbc6c75370d9d1b84/dblp","booktitle":"DATE","crossref":"conf/date/2014","editor":[{"propositions":[],"lastnames":["Fettweis"],"firstnames":["Gerhard"],"suffixes":[]},{"propositions":[],"lastnames":["Nebel"],"firstnames":["Wolfgang"],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/date/IliasovASM14,\n added-at = {2015-11-10T00:00:00.000+0100},\n author = {Iliasov, Alex and Alekseyev, Arseniy and Sokolov, Danil and Mokhov, Andrey},\n biburl = {http://www.bibsonomy.org/bibtex/2e0cc17f87fda8c5bbc6c75370d9d1b84/dblp},\n booktitle = {DATE},\n crossref = {conf/date/2014},\n editor = {Fettweis, Gerhard and Nebel, Wolfgang},\n ee = {http://dl.acm.org/citation.cfm?id=2616713},\n interhash = {216dbe089a2ad118997edf988dae0ee6},\n intrahash = {e0cc17f87fda8c5bbc6c75370d9d1b84},\n isbn = {978-3-9815370-2-4},\n keywords = {dblp},\n pages = {1-4},\n publisher = {European Design and Automation Association},\n timestamp = {2015-11-11T11:48:43.000+0100},\n title = {Design of safety critical systems by refinement.},\n url = {http://dblp.uni-trier.de/db/conf/date/date2014.html#IliasovASM14},\n year = 2014\n}\n\n","author_short":["Iliasov, A.","Alekseyev, A.","Sokolov, D.","Mokhov, A."],"editor_short":["Fettweis, G.","Nebel, W."],"key":"conf/date/IliasovASM14","id":"conf/date/IliasovASM14","bibbaseid":"iliasov-alekseyev-sokolov-mokhov-designofsafetycriticalsystemsbyrefinement-2014","role":"author","urls":{"Link":"http://dl.acm.org/citation.cfm?id=2616713","Paper":"http://dblp.uni-trier.de/db/conf/date/date2014.html#IliasovASM14"},"keyword":["dblp"],"downloads":0},"search_terms":["design","safety","critical","systems","refinement","iliasov","alekseyev","sokolov","mokhov"],"keywords":["dblp"],"authorIDs":[],"dataSources":["h2zaCTy5Y74MDBFyN"]}