1287 search results - page 14 / 258 » Reduction of Timed Hybrid Systems |
RTS
2010
14 years 8 months ago
2010
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...
ECRTS
2002
IEEE
15 years 2 months ago
2002
IEEE
82
Voted
ENTCS
2006
14 years 9 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
PROMAS
2007
Springer
15 years 3 months ago
2007
Springer
ATS
2003
IEEE
15 years 2 months ago
2003
IEEE
