%0 Conference Paper %1 conf/date/AndradeMVAPL15 %A Andrade, Liliana %A Maehne, Torsten %A Vachoux, Alain %A Aoun, Cédric Ben %A Pêcheux, François %A Louërat, Marie-Minerve %B DATE %D 2015 %E Nebel, Wolfgang %E Atienza, David %I ACM %K dblp %P 1671-1676 %T Pre-simulation symbolic analysis of synchronization issues between discrete event and timed data flow models of computation. %U http://dblp.uni-trier.de/db/conf/date/date2015.html#AndradeMVAPL15 %@ 978-3-9815370-4-8

@inproceedings{conf/date/AndradeMVAPL15, added-at = {2021-08-09T00:00:00.000+0200}, author = {Andrade, Liliana and Maehne, Torsten and Vachoux, Alain and Aoun, Cédric Ben and Pêcheux, François and Louërat, Marie-Minerve}, biburl = {https://www.bibsonomy.org/bibtex/2d6d98c9f136032ca69843a686753dbaa/dblp}, booktitle = {DATE}, crossref = {conf/date/2015}, editor = {Nebel, Wolfgang and Atienza, David}, ee = {https://ieeexplore.ieee.org/document/7092661/}, interhash = {829fe97f2d31988db56de1da425e6afa}, intrahash = {d6d98c9f136032ca69843a686753dbaa}, isbn = {978-3-9815370-4-8}, keywords = {dblp}, pages = {1671-1676}, publisher = {ACM}, timestamp = {2024-04-10T06:47:29.000+0200}, title = {Pre-simulation symbolic analysis of synchronization issues between discrete event and timed data flow models of computation.}, url = {http://dblp.uni-trier.de/db/conf/date/date2015.html#AndradeMVAPL15}, year = 2015 }