Timed scenarios: consistency, equivalence and optimization

DOI10.1007/978-3-030-03044-5_14zbMATH Open1519.68139OpenAlexW2897139053MaRDI QIDQ6165894

Feliks Kluźniak, Neda Saeedloei

Publication date: 2 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-03044-5_14

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Scenario-Based Timing Consistency Checking for Time Petri Nets ⋮ Operations on timed scenarios ⋮ Three Approaches to Timed External Choice in UTP

This page was built for publication: Timed scenarios: consistency, equivalence and optimization

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