Formalising the UML in structured temporal theories

Authors
Lano, K Bicarregui, J
Citation
K. Lano et J. Bicarregui, Formalising the UML in structured temporal theories, KLUW ENGN C, 523, 1999, pp. 161-174
Categorie Soggetti
Current Book Contents
Journal title
BEHAVIORAL SPECIFICATIONS OF BUSINESSES AND SYSTEMS → ACNP
Volume
523
Year of publication
1999
Pages
161 - 174
Database
ISI
SICI code