Zobrazeno 1 - 7
of 7
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
Publikováno v:
Leveraging Applications of Formal Methods, Verification & Validation; 2010, p1-1, 1p
Publikováno v:
Formal Modeling & Analysis of Timed Systems (9783540857778); 2008, p1-1, 1p
Autor:
Chalmers, Kevin, Pedersen, J. Bækgaard
This book presents the proceedings of two conferences, the 37th and 38th in the WoTUG series; Communicating Process Architectures (CPA) 2015, held in Canterbury, England, in August 2015, and CPA 2016, held in Copenhagen, Denmark, in August 2016. Fift
This book describes model-based development of adaptive embedded systems, which enable improved functionality using the same resources. The techniques presented facilitate design from a higher level of abstraction, focusing on the problem domain rath
Autor:
Franck Cassez, Claude Jard
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 revised full papers presented together with 3 invite