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

DOI10.1023/A:1008262409521zbMATH Open0888.68044OpenAlexW2078173708MaRDI QIDQ1372910FDOQ1372910

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

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

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)

Cited In (4)

• DECM, A user oriented formalism for high level discrete event specifications of real-time systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)