scientific article; zbMATH DE number 2147037
From MaRDI portal
Publication:4658723
zbMath1088.68525MaRDI QIDQ4658723
Publication date: 18 March 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
real-time systemstimed automataembedded systemsprecedence constraintsresource constraintsschedulability
Related Items (4)
Schedulability analysis of fixed-priority systems using timed automata ⋮ Formal verification of real-time systems with preemptive scheduling ⋮ Optimization of resource control for transitions in complex systems ⋮ Efficient implementation of tight response-times for tasks with offsets
Uses Software
This page was built for publication:
