%0 Conference Paper %1 conf/isorc/DamascenoMAT15 %A Damasceno, Adriana Carla %A de Lima Machado, Patrícia Duarte %A de Lucena Andrade, Wilkerson %A Torres, Wesley Nunes Marques %B ISORC %D 2015 %I IEEE Computer Society %K dblp %P 228-235 %T Symbolic Test Case Generation of Compositional Real-Time Systems Driven by Interruptions. %U http://dblp.uni-trier.de/db/conf/isorc/isorc2015.html#DamascenoMAT15 %@ 978-1-4799-8781-8

@inproceedings{conf/isorc/DamascenoMAT15, added-at = {2023-03-24T00:00:00.000+0100}, author = {Damasceno, Adriana Carla and de Lima Machado, Patrícia Duarte and de Lucena Andrade, Wilkerson and Torres, Wesley Nunes Marques}, biburl = {https://www.bibsonomy.org/bibtex/207581a8536d6aac80f90c017e104fad1/dblp}, booktitle = {ISORC}, crossref = {conf/isorc/2015}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISORC.2015.38}, interhash = {ea85d6c8bd8b938765fb2e8791562db6}, intrahash = {07581a8536d6aac80f90c017e104fad1}, isbn = {978-1-4799-8781-8}, keywords = {dblp}, pages = {228-235}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T13:14:32.000+0200}, title = {Symbolic Test Case Generation of Compositional Real-Time Systems Driven by Interruptions.}, url = {http://dblp.uni-trier.de/db/conf/isorc/isorc2015.html#DamascenoMAT15}, year = 2015 }