Hierarchical annotated action diagrams
an interface-oriented specification and verification method
Gespeichert in:
Verfasser / Beitragende:
E. Cerny ... [et al.]
Ort, Verlag, Jahr:
Boston :
Kluwer Academic Publishers,
1998
Beschreibung:
211 S. : Ill.
Format:
Buch