scientific article
From MaRDI portal
Publication:2769597
zbMath0978.68538MaRDI QIDQ2769597
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310343
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Conformance testing for real-time systems ⋮ Composition methods for constructing characteristic formulas for dense-time models ⋮ Compositional schedulability analysis of real-time actor-based systems ⋮ Unnamed Item
Uses Software
This page was built for publication:
