Tools and Algorithms for the Construction and Analysis of Systems
From MaRDI portal
Publication:5308409
DOI10.1007/b96393zbMath1126.68461OpenAlexW4299869287MaRDI QIDQ5308409
Kim Guldstrand Larsen, Jacob Illum Rasmussen, K. Subramani and Vahan Mkrtchyan
Publication date: 28 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b96393
Linear programming (90C05) Formal languages and automata (68Q45) Deterministic scheduling theory in operations research (90B35) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)
Related Items (7)
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ A Kleene-Schützenberger theorem for weighted timed automata ⋮ Backward symbolic optimal reachability in weighted timed automata ⋮ Survey on Directed Model Checking ⋮ A Kleene-Schützenberger Theorem for Weighted Timed Automata ⋮ Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata ⋮ On the complexities of selected satisfiability and equivalence queries over Boolean formulas and inclusion queries over hulls
Uses Software
This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems
