Hierarchical annotated action diagrams

an interface-oriented specification and verification method

Verfasser / Beitragende:
E. Cerny ... [et al.]
Ort, Verlag, Jahr:
Boston : Kluwer Academic Publishers, 1998
Beschreibung:
211 S. : Ill.
Format:
Buch
ID: 143883534