Conference
Formal Derivation of Functional Architectural Design.
Authors
Khédri R; Bourguiba I
Pagination
pp. 356-265
Publisher
IEEE Computer Society
Publication Date
January 1, 2004
ISBN-10
0-7695-2222-X
DOI
10.1109/SEFM.2004.18
Conference proceedings
SEFM