IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formal Specs Reuse with Embedded Systems Design Behavioral and Architectural Specifications in Real-Time Application Domains

Second International Conference on Systems

Author(s): M. Sveda
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 April 2007
Conference Location: Martinique, France
Conference Date: 22 April 2007
Page(s): 1
ISBN (CD): 0-7695-2807-4
DOI: 10.1109/ICONS.2007.27
Regular:

This paper deals with reuse of architectural and behavioral specifications of embedded systems employing finite-state and timed automata. The contribution proposes not only how to represent a... View More

Advertisement