scientific article; zbMATH DE number 5957695

MaRDI QIDQ3174291zbMATH OpenFDO

Authors Nicolae Marian

Publication date 12 October 2011

zbMATH Keywords

verificationschedulingreal-time systemsspecification

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)

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 Q3174291)