Publications

From Use Cases to System Implementation: Statechart Based Co-Design

AuthID
P-000-JP3

Author(s)

Gomes, L

Costa, A

Document Type

Proceedings Paper

Year published

2003

Published

in FIRST ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS

Pages: 24-33 (10)

Conference

1St Acm/Ieee International Conference on Formal Methods and Models for Co-Design (Memocode 03), Date: JUN 24-26, 2003, Location: MONT ST MICHEL, FRANCE, Sponsors: IEEE Comp Soc Design Automat Tech Comm, IEEE Circuits & Syst Soc, ACM Special Interest Grp Design Automat, INRIA, IRISA, CNRS, Univ Rennes 1

Indexing