Tosca: A Pragmatic Approach To Co-Design Automation Of Control-Dominated Systems

Publisher Website

1 January 1996

book chapter
Published by Springer Nature

p. 265-294
https://doi.org/10.1007/978-94-009-0187-2_11

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

STATEMATE: a working environment for the development of complex reactive systems
IEEE Transactions on Software Engineering, 1990