1582 search results - page 51 / 317 » Digital Documents and Media |
ICMCS
1999
IEEE
15 years 4 months ago
1999
IEEE
ERCIMDL
1998
Springer
15 years 4 months ago
1998
Springer
APCHI
2004
IEEE
15 years 3 months ago
2004
IEEE
CHINZ
2005
ACM
15 years 1 months ago
2005
ACM
FORMATS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...