Formal Methods for Components and Objects

DOI10.1007/11561163zbMath1143.68430OpenAlexW4298853841MaRDI QIDQ5897450

Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen

Publication date: 1 November 2006

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

Full work available at URL: https://doi.org/10.1007/11561163

Mathematics Subject Classification ID

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 (8)

Modeling for Verification ⋮ Checking Integral Real-Time Automata for Extended Linear Duration Invariants ⋮ Quantitative Attack Tree Analysis via Priced Timed Automata ⋮ A survey of timed automata for the development of real-time systems ⋮ Monte Carlo tree search for priced timed automata ⋮ Model-checking precision agriculture logistics: the case of the differential harvest ⋮ A menagerie of timed automata ⋮ Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking

Uses Software

• Uppaal
• UPPAAL CORA

This page was built for publication: Formal Methods for Components and Objects