scientific article; zbMATH DE number 2080067

zbMath1043.68513MaRDI QIDQ4472261

Leonid Mokrushin, Elena Fersman, Tobias Amnell, Wang Yi, Paul Pettersson

Publication date: 4 August 2004

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

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

Mathematics Subject Classification ID

Computer system organization (68M99)

Related Items (10)

Spotlight abstraction in model checking real-time task schedulability ⋮ Schedulability analysis of fixed-priority systems using timed automata ⋮ Resources in process algebra ⋮ Model Checking Real-Time Systems ⋮ From Safety Critical Java Programs to Timed Process Models ⋮ Task automata: Schedulability, decidability and undecidability ⋮ A survey of timed automata for the development of real-time systems ⋮ Graph-based models for real-time workload: a survey ⋮ Models and formal verification of multiprocessor system-on-chips ⋮ Robust safety of timed automata

Uses Software

• Unnamed Item

This page was built for publication: