102
Voted
Publication
Improve your knowledge of the Spanish Language by learning new Spanish vocabulary, Spanish Grammar, Spanish pronunciation and other Spanish Language resources.
107
Voted
HYBRID
1994
Springer
15 years 6 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 ...