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

DOI10.1023/A:1008262409521zbMath0888.68044OpenAlexW2078173708MaRDI QIDQ1372910

Kyu Ho Park, Tag Gon Kim, Joon Sung Hong, Hae-Sang Song

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

real-time softwarediscrete event specification

Mathematics Subject Classification ID

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

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