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