scientific article; zbMATH DE number 7566069

MaRDI QIDQ5094142FDOQ5094142

Authors: Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff 

Publication date: 2 August 2022

Full work available at URL: https://arxiv.org/abs/2012.04025

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

Recommendations

• Consistency and satisfiability of waveform timing specifications
• Specification and timing analysis of real-time systems
• scientific article; zbMATH DE number 1023673
• scientific article; zbMATH DE number 5181788
• scientific article; zbMATH DE number 2080761

zbMATH Keywords

reductioncommunication patternstiming properties

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Title not available (Why is that?)
• Temporal proof methodologies for timed transition systems
• On time actors

Uses Software

• PRISM
• Uppaal
• Rebeca

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