%0 Conference Paper %1 conf/safecomp/NavarrePB08 %A Navarre, David %A Palanque, Philippe A. %A Basnyat, Sandra %B SAFECOMP %D 2008 %E Harrison, Michael D. %E Sujan, Mark-Alexander %I Springer %K dblp %P 373-386 %T A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2008.html#NavarrePB08 %V 5219 %@ 978-3-540-87697-7

@inproceedings{conf/safecomp/NavarrePB08, added-at = {2017-05-26T00:00:00.000+0200}, author = {Navarre, David and Palanque, Philippe A. and Basnyat, Sandra}, biburl = {https://www.bibsonomy.org/bibtex/289312d6e8fa9ab8b24d83fa4576cebaa/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2008}, editor = {Harrison, Michael D. and Sujan, Mark-Alexander}, ee = {https://doi.org/10.1007/978-3-540-87698-4_31}, interhash = {4d8cdbb7fe6a8118d5c55df68bf95123}, intrahash = {89312d6e8fa9ab8b24d83fa4576cebaa}, isbn = {978-3-540-87697-7}, keywords = {dblp}, pages = {373-386}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:35:50.000+0200}, title = {A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2008.html#NavarrePB08}, volume = 5219, year = 2008 }