A mechanism for the formal description of dynamic systems

zbMATH Open0972.68114MaRDI QIDQ5930827

Alexandre V. Zamulin

Publication date: 26 April 2001

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

formal specification of program systems

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (2)

Dynamic input/output automata: a formal and compositional model for dynamic systems ⋮ Formal methods for discrete-time dynamical systems

This page was built for publication: A mechanism for the formal description of dynamic systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5930827)