scientific article; zbMATH DE number 1956583

zbMath1031.68031MaRDI QIDQ4417925

Wang Yi, Paul Pettersson, Elena Fersman, Leonid Mokrushin

Publication date: 30 July 2003

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

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

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Related Items (2)

Formal verification of real-time systems with preemptive scheduling ⋮ Formal verification of multitasking applications based on timed automata model

This page was built for publication: