%0 Conference Paper %1 conf/tase/GeDJdA17 %A Ge, Ning %A Dieumegard, Arnaud %A Jenn, Eric %A d'Ausbourg, Bruno %A Ameur, Yamine Aït %B TASE %D 2017 %E Mallet, Frédéric %E Zhang, Min %E Madelaine, Eric %I IEEE Computer Society %K dblp %P 1-8 %T Formal development process of safety-critical embedded human machine interface systems. %U http://dblp.uni-trier.de/db/conf/tase/tase2017.html#GeDJdA17 %@ 978-1-5386-1924-7

@inproceedings{conf/tase/GeDJdA17, added-at = {2023-03-24T00:00:00.000+0100}, author = {Ge, Ning and Dieumegard, Arnaud and Jenn, Eric and d'Ausbourg, Bruno and Ameur, Yamine Aït}, biburl = {https://www.bibsonomy.org/bibtex/2ce008c9083a9c17ac30b32f685ae3bf1/dblp}, booktitle = {TASE}, crossref = {conf/tase/2017}, editor = {Mallet, Frédéric and Zhang, Min and Madelaine, Eric}, ee = {https://doi.ieeecomputersociety.org/10.1109/TASE.2017.8285636}, interhash = {b0b647ee7104f2e1063950b0cf88ba20}, intrahash = {ce008c9083a9c17ac30b32f685ae3bf1}, isbn = {978-1-5386-1924-7}, keywords = {dblp}, pages = {1-8}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:19:58.000+0200}, title = {Formal development process of safety-critical embedded human machine interface systems.}, url = {http://dblp.uni-trier.de/db/conf/tase/tase2017.html#GeDJdA17}, year = 2017 }