Sciweavers

31 search results - page 7 / 7
» Surviving sensor network software faults
Sort
View
TC
2010
12 years 11 months ago
Generating Reliable Code from Hybrid-Systems Models
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
Madhukar Anand, Sebastian Fischmeister, Yerang Hur...