Sciweavers

4434 search results - page 14 / 887
» On the Composition of Hybrid Systems
Sort
View
REFLECTION
2001
Springer
15 years 10 months ago
A Hybrid Approach to Separation of Concerns: The Story of SADES
A number of approaches have been proposed to achieve separation of concerns. Although all these approaches form suitable candidates for separating cross-cutting concerns in a syste...
Awais Rashid
HYBRID
1999
Springer
15 years 10 months ago
Verification of Hybrid Systems via Mathematical Programming
Alberto Bemporad, Manfred Morari
HYBRID
1992
Springer
15 years 10 months ago
Hybrid Systems in TLA+
Leslie Lamport
HYBRID
1992
Springer
15 years 10 months ago
Verifying Hybrid Systems
Zohar Manna, Amir Pnueli