4693 search results - page 30 / 939 » Verifying Hybrid Systems |
138
Voted
WCRE
2008
IEEE
15 years 6 months ago
2008
IEEE
The new hybrid clone detection tool NICAD combines the strengths and overcomes the limitations of both textbased and AST-based clone detection techniques to yield highly accurate ...
122
click to vote
FORMATS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...
HYBRID
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...
HYBRID
2001
Springer
15 years 5 months ago
2001
Springer
HYBRID
2001
Springer
15 years 5 months ago
2001
Springer