scientific article; zbMATH DE number 683359

MaRDI QIDQ4312480zbMATH OpenFDO

Authors Michael Schenke

Publication date 8 November 1994

zbMATH Keywords

real-time specification language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 781173
• Specification and Proof in Real Time CSP
• scientific article; zbMATH DE number 52331
• scientific article; zbMATH DE number 1949613
• Transformational design of real-time systems. I: From requirements to program specifications

Cited in

(7)

• scientific article; zbMATH DE number 1543358 (Why is no real title available?)
• On the construction of a domain language for a class of reactive systems
• A theory of Orwellian specifications with NewThink
• Modelling timed reactive systems from natural-language requirements
• scientific article; zbMATH DE number 781173 (Why is no real title available?)
• scientific article; zbMATH DE number 6605097 (Why is no real title available?)
• Specification and validation of a concurrent system: An educational project

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 Q4312480)