scientific article; zbMATH DE number 53319
From MaRDI portal
Publication:4003544
Theory of programming languages (68N15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Design techniques (robust design, computer-aided design, etc.) (93B51) Theory of operating systems (68N25)
Recommendations
Cited in
(20)- Echtzeitsysteme
- Analyzing real-time systems: Theory and tools
- Constraint specification of weakly hard real-time systems
- Specification and Proof in Real Time CSP
- Real-Time Systems
- scientific article; zbMATH DE number 2196154 (Why is no real title available?)
- scientific article; zbMATH DE number 1822296 (Why is no real title available?)
- A hierarchy of domains for real-time distributed computing
- Real time programming. Languages, specification and verification.
- scientific article; zbMATH DE number 53307 (Why is no real title available?)
- scientific article; zbMATH DE number 67465 (Why is no real title available?)
- scientific article; zbMATH DE number 3997158 (Why is no real title available?)
- Delivering Real-Time Behaviour
- Compositional model for formal development of real-time systems design
- A specification theory of real-time processes
- Evaluating the expressive power of the real-time specification for Java
- Real-time programming
- Extending the SCR method for real-time systems
- scientific article; zbMATH DE number 1729260 (Why is no real title available?)
- scientific article; zbMATH DE number 53318 (Why is no real title available?)
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 Q4003544)
