scientific article; zbMATH DE number 1760151

zbMATH Open0996.68616MaRDI QIDQ4537141FDOQ4537141

Authors: Kasper Brink, J. van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel 

Publication date: 6 November 2002

Title of this publication is not available (Why is that?)

Recommendations

• Analysis of scheduling behaviour using generic timed automata
• scientific article; zbMATH DE number 2080041
• Schedulability analysis of fixed-priority systems using timed automata
• Schedulability verification of embedded system AADL model based on timed automata
• scientific article; zbMATH DE number 2147037

Mathematics Subject Classification ID

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

Cited In (1)

• Schedulability verification of embedded system AADL model based on timed automata

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4537141)