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
Feedback