A practical theory of reactive systems : incremental modeling of dynamic behaviors /

Eitemau Tebyg

• DSDM dynamic systems development method : the method in practice /
  gan: 397564 Stapleton, Jennifer
  Cyhoeddwyd: (1997)
• Modeling software behavior /
  gan: 277922 Jorgensen, Paul C.
  Cyhoeddwyd: (2009)
• An approach to support incremental software construction and verification in component-based system development
  gan: Nejati, Faranak
  Cyhoeddwyd: (2019)
• Innovations in information systems modeling : methods and best practices /
  gan: Halpin, T. A., et al.
  Cyhoeddwyd: (c200)
• Reactive systems : modelling, specification and verification /
  gan: Aceto, Luca
  Cyhoeddwyd: (2007)