scientific article; zbMATH DE number 6694503

zbMATH Open1399.68028MaRDI QIDQ2969151FDOQ2969151

Nicholaos Petalidis

Publication date: 14 March 2017

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

zbMATH Keywords

timed automataformal verificationprotocol verificationUPPAALfieldbus

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)

Cited In (4)

• Multicycle polling scheduling algorithms for FieldBus networks
• Verification of the legOS scheduler using Uppaal
• Title not available (Why is that?)
• Automatic Verification of Bossa Scheduler Properties

Uses Software

• Uppaal

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