Sciweavers

828 search results - page 20 / 166
» Modularity for Timed and Hybrid Systems
Sort
View
PROMAS
2007
Springer
15 years 8 months ago
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...
76
Voted
ATS
2003
IEEE
84views Hardware» more  ATS 2003»
15 years 7 months ago
Test Time Minimization for Hybrid BIST of Core-Based Systems
Gert Jervan, Petru Eles, Zebo Peng, Raimund Ubar, ...
DAGSTUHL
2004
15 years 3 months ago
Real-Time and Hybrid Systems Testing
Kirsten Berkenkötter, Raimund Kirner
82
Voted
TECS
2008
60views more  TECS 2008»
15 years 1 months ago
Verifying average dwell time of hybrid systems
Sayan Mitra, Daniel Liberzon, Nancy A. Lynch