scientific article; zbMATH DE number 7566069

MaRDI QIDQ5094142zbMATH OpenFDO

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, https://lmcs.episciences.org/9639

zbMATH Keywords

reductioncommunication patternstiming properties

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 2182600 (Why is no real title available?)
• On time actors
• Temporal proof methodologies for timed transition systems

Describes a project that uses

Uses Software

• Rebeca
• Uppaal
• PRISM

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)