The earlier the better

DOI10.1145/1967701.1967707zbMath1362.68049OpenAlexW2118635884MaRDI QIDQ2986710

Maarten Wiggers, Marc Geilen, Stavros Tripakis

Publication date: 16 May 2017

Published in: Proceedings of the 14th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1967701.1967707

zbMATH Keywords

interfacescompositionalityrefinementlatencythroughputdataflowactors

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Unnamed Item ⋮ Compositional schedulability analysis of real-time actor-based systems

This page was built for publication: The earlier the better