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