71
Voted
COMPSAC
2004
IEEE
15 years 2 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...