E-Books durchsuchen
Formal Methods: Foundations and Applications [2021]
- 1
-
A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking
- 2
-
Statistical Model Checking for Traffic Models
- 3
-
Visual Specification of Properties for Robotic Designs
- 4
-
Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation
- 5
-
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata
- 6
-
Module Integration Using Graph Grammars (MIGRATE)
- 7
-
Cost Analysis for an Actor-Based Workflow Modelling Language
- 8
-
Minimization of the Number of Clocks for Timed Scenarios