scientific article; zbMATH DE number 3831759

MaRDI QIDQ3039150zbMATH OpenFDO

Authors Michael A. Jackson

Publication date 1983

zbMATH Keywords

model specificationmodellingsimulation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Deterministic scheduling theory in operations research (90B35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to systems and control theory (93-01) General systems (93A10)

Cited in

(6)

• Object-oriented programming in control system design: A survey
• Refinement of events in the development of real-time distributed systems
• A wide-spectrum language for object-based development of real-time systems
• Efficient symbolic computation of process expressions
• Real-Time Analysis Process Patterns
• Towards a visual approach for component-based software development

This page was built for publication:

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