86
Voted
Publication
Improve your knowledge of the Spanish Language by learning new Spanish vocabulary, Spanish Grammar, Spanish pronunciation and other Spanish Language resources.
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 ...