%0 Conference Paper %1 conf/csdm/ArnaudBCGGL14 %A Arnaud, Mathilde %A Bannour, Boutheina %A Cuccuru, Arnaud %A Gaston, Christophe %A Gérard, Sébastien %A Lapitre, Arnault %B CSDM %D 2014 %E Boulanger, Frédéric %E Krob, Daniel %E Morel, Gérard %E Roussel, Jean-Claude %I Springer %K %P 269-282 %T Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios. %U http://dblp.uni-trier.de/db/conf/csdm/csdm2014.html#ArnaudBCGGL14 %@ 978-3-319-11617-4

@inproceedings{conf/csdm/ArnaudBCGGL14, added-at = {2023-12-13T01:31:13.000+0100}, author = {Arnaud, Mathilde and Bannour, Boutheina and Cuccuru, Arnaud and Gaston, Christophe and Gérard, Sébastien and Lapitre, Arnault}, biburl = {https://www.bibsonomy.org/bibtex/2ad8e922400f126cdcd34ef568be5d0bd/admin}, booktitle = {CSDM}, crossref = {conf/csdm/2014}, editor = {Boulanger, Frédéric and Krob, Daniel and Morel, Gérard and Roussel, Jean-Claude}, ee = {http://dx.doi.org/10.1007/978-3-319-11617-4_19}, interhash = {72b40aaf6acea128341dadb1f861f755}, intrahash = {ad8e922400f126cdcd34ef568be5d0bd}, isbn = {978-3-319-11617-4}, keywords = {}, pages = {269-282}, publisher = {Springer}, timestamp = {2023-12-13T01:31:13.000+0100}, title = {Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios.}, url = {http://dblp.uni-trier.de/db/conf/csdm/csdm2014.html#ArnaudBCGGL14}, year = 2014 }