Publication:3128862

From MaRDI portal
Revision as of 22:51, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


zbMath0909.68001MaRDI QIDQ3128862

No author found.

Publication date: 21 April 1997


zbMATH Keywords

real-time systems; Real-time systems; real-time system design


Mathematics Subject Classification ID

00B15: Collections of articles of miscellaneous specific interest

68-06: Proceedings, conferences, collections, etc. pertaining to computer science

90-06: Proceedings, conferences, collections, etc. pertaining to operations research and mathematical programming

68-02: Research exposition (monographs, survey articles) pertaining to computer science


Related Items

An engineering process for the verification of real-time systems, A timeband framework for modelling real-time systems, On performance congruences for process algebras, Induction in the timed interval calculus, Applying string-rewriting to sequence-based specification, Interval Duration Logic, Towards Modelling Obligations in Event-B



Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3128862&oldid=16214183"
Powered by MediaWiki