%0 Conference Paper %1 conf/acsd/TrckaVB11 %A Trcka, Nikola %A Voorhoeve, Marc %A Basten, Twan %B ACSD %D 2011 %E Caillaud, Benoît %E Carmona, Josep %E Hiraishi, Kunihiko %I IEEE Computer Society %K dblp %P 13-18 %T Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets. %U http://dblp.uni-trier.de/db/conf/acsd/acsd2011.html#TrckaVB11 %@ 978-0-7695-4387-1

@inproceedings{conf/acsd/TrckaVB11, added-at = {2023-03-24T00:00:00.000+0100}, author = {Trcka, Nikola and Voorhoeve, Marc and Basten, Twan}, biburl = {https://www.bibsonomy.org/bibtex/2bd7442401a572bf1aa5596280c8d20b1/dblp}, booktitle = {ACSD}, crossref = {conf/acsd/2011}, editor = {Caillaud, Benoît and Carmona, Josep and Hiraishi, Kunihiko}, ee = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2011.14}, interhash = {6ecd49e189e9f3edaac7dbc372085a77}, intrahash = {bd7442401a572bf1aa5596280c8d20b1}, isbn = {978-0-7695-4387-1}, keywords = {dblp}, pages = {13-18}, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T17:34:22.000+0200}, title = {Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/acsd/acsd2011.html#TrckaVB11}, year = 2011 }