%0 Conference Paper %1 conf/sac/LuckenederK19 %A Luckeneder, Christoph %A Kaindl, Hermann %B SAC %D 2019 %E Hung, Chih-Cheng %E Papadopoulos, George A. %I ACM %K dblp %P 1828-1836 %T A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification. %U http://dblp.uni-trier.de/db/conf/sac/sac2019.html#LuckenederK19 %@ 978-1-4503-5933-7

@inproceedings{conf/sac/LuckenederK19, added-at = {2019-05-02T00:00:00.000+0200}, author = {Luckeneder, Christoph and Kaindl, Hermann}, biburl = {https://www.bibsonomy.org/bibtex/23cfd350b18427d4ba4c8cfdaebcb0097/dblp}, booktitle = {SAC}, crossref = {conf/sac/2019}, editor = {Hung, Chih-Cheng and Papadopoulos, George A.}, ee = {https://doi.org/10.1145/3297280.3297460}, interhash = {558caf3d179e3e7bd3a97c92ef72ce0b}, intrahash = {3cfd350b18427d4ba4c8cfdaebcb0097}, isbn = {978-1-4503-5933-7}, keywords = {dblp}, pages = {1828-1836}, publisher = {ACM}, timestamp = {2019-06-04T12:57:50.000+0200}, title = {A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2019.html#LuckenederK19}, year = 2019 }