Minimization of the Number of Clocks for Timed Scenarios
Gespeichert in:
| Veröffentlicht in: | SBMF (24. : 2021 : Online) Formal Methods: Foundations and Applications |
|---|---|
| 1. Verfasser: | |
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
2021
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Titel | Jahr | Verfasser |
|---|---|---|
| Module Integration Using Graph Grammars (MIGRATE) | 2021 | Cravo, Diogo Raphael |
| Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata | 2021 | Abba, Abdulrazag |
| Cost Analysis for an Actor-Based Workflow Modelling Language | 2021 | Ali, Muhammad Rizwan |
| A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking | 2021 | Menezes, Bruno |
| Statistical Model Checking for Traffic Models | 2021 | Thamilselvam, B. |
| Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation | 2021 | Timm, Nils |
| Visual Specification of Properties for Robotic Designs | 2021 | Lindoso, Waldeck Jr. |
| Minimization of the Number of Clocks for Timed Scenarios | 2021 | Saeedloei, Neda |