Data and Control Flow Diagrams, Statecharts and Z: Their Formalization, Integration and Real-Time Extension

Weitere TitelZusatztitel :
  • Zugl.: Kiel, Univ., Diss, 1997
Beteiligte Person(en) / Institution(en)Autor :
DatumErschienen :
  • Dezember 1998
BemerkungAnnotation :
  • This report is not available as a digital edition but a print edition can be found in the stock of the Kiel University Library.
Statische URLhttps://www.uni-kiel.de/journals/receive/jportal_jparticle_00000225
 
vorgesehene URN:NBNurn:nbn:de:gbv:8:1-zs-00000225-a1
IDNummer des Berichts :
  • Tr_9801