7623 search results - page 93 / 1525 » Constructive Volume Modeling |
117
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
Embedded software design for real time reactive system
CICLING
2003
Springer
15 years 7 months ago
2003
Springer
117
click to vote
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...