scientific article; zbMATH DE number 2017345

zbMath1027.68785MaRDI QIDQ4439564

Mariëlle I. A. Stoelinga, Luca de Alfaro, Thomas A. Henzinger

Publication date: 14 December 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2491/24910108.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of software (68N99)

Related Items (17)

Safe Decomposition of Startup Requirements: Verification and Synthesis ⋮ New Results on Timed Specifications ⋮ Generalized interface automata with multicast synchronization ⋮ Robust synthesis for real-time systems ⋮ On specifications and proofs of timed circuits ⋮ From interface automata to hypercontracts ⋮ Controller synthesis for dynamic hierarchical real-time plants using timed automata ⋮ Constructive semantics for instantaneous reactions ⋮ Modal event-clock specifications for timed component-based design ⋮ Partition refinement of component interaction automata ⋮ Interface simulation distances ⋮ Compositional schedulability analysis of real-time actor-based systems ⋮ Specification Theories for Probabilistic and Real-Time Systems ⋮ On Resource-Sensitive Timed Component Connectors ⋮ Methodologies for Specification of Real-Time Systems Using Timed I/O Automata ⋮ Compositionality for quantitative specifications ⋮ Refinement and Consistency of Timed Modal Specifications

This page was built for publication: