Synonyme wurden verwendet für:
Informatik
Suche ohne Synonyme:
keywords:(Informatik)
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
Landing Gear System: An ASM-Based Solution for the ABZ Case Study
Context-Aware Verification of a Landing Gear System
Validation of the ABZ Landing Gear System Using ProB
Co-simulation Environment for Rodin: Landing Gear Case Study
Modeling an Aircraft Landing System in Event-B
Modeling a Landing Gear System in Event-B
The Landing Gear System Case Study
The Landing Gear Case Study in Hybrid Event-B
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
DMOUTLINE OF A STRUCTURAL PERFORMANCE EVALUATION SYSTEM IN JAPAN
DMInfilled frames: certainties and uncertainties
The SCD Architecture and its Use in the Design of Story-Driven Interactive Spaces
Reality and Virtual Reality in Mobile Robotics
Smart Environments: Some Challenges for the Computing Community
Learning Spatial Event Models from Multiple-Camera Perspectives in an Intelligent Room
Two Aspects of Multiple Mobile Robots: A Parallel Architecture and an Autonomous Navigation Strategy
An Integrated System for Managing Intelligent Buildings