A real-time discrete event system specification formalism for seamless real-time software development

DOI10.1023/A:1008262409521MaRDI QIDQ1372910zbMATH OpenOpenAlexFDO

Authors Joon Sung Hong, Hae-Sang Song, T. G. Kim, Kyu Ho Park

Publication date 13 May 1998

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1008262409521

zbMATH Keywords

discrete event specificationreal-time software

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Theory of software (68N99) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• scientific article; zbMATH DE number 1664929
• DECM, A user oriented formalism for high level discrete event specifications of real-time systems
• A framework for real-time discrete event control
• scientific article; zbMATH DE number 1956483
• scientific article; zbMATH DE number 1949635

Cited in

(4)

• DECM, A user oriented formalism for high level discrete event specifications of real-time systems
• scientific article; zbMATH DE number 1664929 (Why is no real title available?)
• scientific article; zbMATH DE number 1630144 (Why is no real title available?)
• Formal Modeling and Analysis of Timed Systems

This page was built for publication: A real-time discrete event system specification formalism for seamless real-time software development

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