%0 Conference Paper %1 conf/sysose/YanFCM17 %A Yan, Wei %A Fontaine, Daniel %A Chandy, John A. %A Michel, Laurent %B SoSE %D 2017 %I IEEE %K dblp %P 1-6 %T A design flow with integrated verification of requirements and faults in safety-critical systems. %U http://dblp.uni-trier.de/db/conf/sysose/sysose2017.html#YanFCM17 %@ 978-1-5090-5945-4

@inproceedings{conf/sysose/YanFCM17, added-at = {2023-03-21T00:00:00.000+0100}, author = {Yan, Wei and Fontaine, Daniel and Chandy, John A. and Michel, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/2df2ef8056b237585f9a3a289ae86f9cf/dblp}, booktitle = {SoSE}, crossref = {conf/sysose/2017}, ee = {https://doi.org/10.1109/SYSOSE.2017.7994955}, interhash = {de72fd533a9f01909a20cb2a808059ee}, intrahash = {df2ef8056b237585f9a3a289ae86f9cf}, isbn = {978-1-5090-5945-4}, keywords = {dblp}, pages = {1-6}, publisher = {IEEE}, timestamp = {2024-04-10T16:04:06.000+0200}, title = {A design flow with integrated verification of requirements and faults in safety-critical systems.}, url = {http://dblp.uni-trier.de/db/conf/sysose/sysose2017.html#YanFCM17}, year = 2017 }