Synonyme wurden verwendet für:
TEMPORALE LOGIK
Suche ohne Synonyme:
keywords:("TEMPORALE LOGIK")
An automated approach to designing real time systems
Plan Recognition for a Fighter Aircraft (Planigenkaenning foer Jaktfoeretag)
Temporal reasoning for airlift scheduling analysis
Generating MC/DC adequate test sequences through model checking
Modeling and verification of train safety comprehensive monitoring system using temporal Petri nets
A coloured Petri net based solution for the generalized railway crossing problem
Semiformale Methoden für den automatisierten Test eingebetteter Systeme
Symbolic Abstraction of System Requirements
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Model Checking for Verification in UAV Cooperative Control Applications
Model Checking for Verification in UAV Cooperative Control Applications
Fuzzy Temporal Logic Based Railway Passenger Flow Forecast Model
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
Hybrid Control of Multi-robot Systems under Complex Temporal Tasks
Hybrid control of multi-robot systems using embedded graph grammars
LTL Motion Planning with Collision Avoidance for A Team of Quadrotors