Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Sebastian De Smet"'
Autor:
Twan Basten, Frits W. Vaandrager, Marc Voorhoeve, Yang Yang, Venkatesh Kannan, Marc Geilen, Lou Somers, Sebastian De Smet, Georgeta Igna
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540857778
FORMATS
FORMATS
We apply three different modeling frameworks -- timed automata ( Uppaal ), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that involves an existing state-of-the-art image processing pipeline. Each of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c5da755292c23f9f9aaea754bf6b7fb1
https://doi.org/10.1007/978-3-540-85778-5_13
https://doi.org/10.1007/978-3-540-85778-5_13
