Modeling and specification of real-time interfaces with UTP

DOI10.1007/978-3-642-39698-4_9MaRDI QIDQ2842633zbMATH OpenOpenAlexFDO

Authors Hung Dang van, Hoang Truong

Publication date 16 August 2013

Published in Theories of Programming and Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39698-4_9

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 2017345
• Scenario-based consistency verification of component-based real-time system designs
• A specification theory of real-time processes
• scientific article; zbMATH DE number 2080761
• Robust specification of real time components

Cites work

• A Model of Component-Based Programming
• scientific article; zbMATH DE number 2080757 (Why is no real title available?)
• rCOS: a refinement calculus of object systems
• Unifying theories for logic programming

Cited in

(3)

• scientific article; zbMATH DE number 2017345 (Why is no real title available?)
• Scenario-based consistency verification of component-based real-time system designs
• Enforceable component-based realtime contracts. Supporting realtime properties from software development to execution

This page was built for publication: Modeling and specification of real-time interfaces with UTP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842633)