%0 Conference Paper %1 conf/fm/ArnoldBR96 %A Arnold, André %A Bégay, Didier %A Radoux, Jean-Pierre %B FME %D 1996 %E Gaudel, Marie-Claude %E Woodcock, Jim %I Springer %K dblp %P 649-661 %T An Example of Use of Formal Methods to Debug an Embedded Software. %U http://dblp.uni-trier.de/db/conf/fm/fme1996.html#ArnoldBR96 %V 1051 %@ 3-540-60973-3

@inproceedings{conf/fm/ArnoldBR96, added-at = {2017-05-22T00:00:00.000+0200}, author = {Arnold, André and Bégay, Didier and Radoux, Jean-Pierre}, biburl = {https://www.bibsonomy.org/bibtex/218be548c67fad2e83f72898a881e737b/dblp}, booktitle = {FME}, crossref = {conf/fm/1996}, editor = {Gaudel, Marie-Claude and Woodcock, Jim}, ee = {https://doi.org/10.1007/3-540-60973-3_112}, interhash = {94c700cf67450bbee0966ed2608fe0a7}, intrahash = {18be548c67fad2e83f72898a881e737b}, isbn = {3-540-60973-3}, keywords = {dblp}, pages = {649-661}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:22:23.000+0200}, title = {An Example of Use of Formal Methods to Debug an Embedded Software.}, url = {http://dblp.uni-trier.de/db/conf/fm/fme1996.html#ArnoldBR96}, volume = 1051, year = 1996 }