%0 Conference Paper %1 conf/rtas/LugatoMTNDPGN04 %A Lugato, David %A Maraux, Frédéric %A Traon, Yves Le %A Normand, Véronique %A Dubois, Hubert %A Pierron, Jean-Yves %A Gallois, Jean-Pierre %A Nebut, Clémentine %B IEEE Real-Time and Embedded Technology and Applications Symposium %D 2004 %I IEEE Computer Society %K dblp %P 104-111 %T Automated Functional Test Case Synthesis from THALES industrial Requirements. %U http://dblp.uni-trier.de/db/conf/rtas/rtas2004.html#LugatoMTNDPGN04 %@ 0-7695-2148-7

@inproceedings{conf/rtas/LugatoMTNDPGN04, added-at = {2023-03-23T00:00:00.000+0100}, author = {Lugato, David and Maraux, Frédéric and Traon, Yves Le and Normand, Véronique and Dubois, Hubert and Pierron, Jean-Yves and Gallois, Jean-Pierre and Nebut, Clémentine}, biburl = {https://www.bibsonomy.org/bibtex/24720b4d93f4b440e31d94edb0e1ceffc/dblp}, booktitle = {IEEE Real-Time and Embedded Technology and Applications Symposium}, crossref = {conf/rtas/2004}, ee = {https://doi.ieeecomputersociety.org/10.1109/RTTAS.2004.1317254}, interhash = {385ee65a89a6e0f360c462ab73efa5d8}, intrahash = {4720b4d93f4b440e31d94edb0e1ceffc}, isbn = {0-7695-2148-7}, keywords = {dblp}, pages = {104-111}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T03:28:07.000+0200}, title = {Automated Functional Test Case Synthesis from THALES industrial Requirements.}, url = {http://dblp.uni-trier.de/db/conf/rtas/rtas2004.html#LugatoMTNDPGN04}, year = 2004 }