scientific article; zbMATH DE number 683359

zbMATH Open0812.68093MaRDI QIDQ4312480FDOQ4312480

Authors: Michael Schenke 

Publication date: 8 November 1994

Title of this publication is not available (Why is that?)

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

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)

Cited In (7)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)