Synonyme wurden verwendet für:
RECHNER
Suche ohne Synonyme:
keywords:(RECHNER)
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
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
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
Co-simulation Environment for Rodin: Landing Gear Case Study
The Landing Gear Case Study in Hybrid Event-B
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
Modeling an Aircraft Landing System in Event-B
Modeling a Landing Gear System in Event-B
The Landing Gear System Case Study
A BLE-Based Mobile Cloud Architecture for Longer Smart Mobile Device Battery Life
A Dynamic Requests Scheduling Model Based on Prediction in Multi-core Web Server
tNote: A Social Network of Vehicles under Internet of Things
Toward Designing Efficient Service Discovery Protocol in Vehicular Networks
Understanding Human Driving Behavior through Computational Cognitive Modeling
A Cloud Server Selection System - Recommendation, Modeling and Evaluation
Fusion of Decisions in Multi-hop Wireless Sensor Networks with Three-Level Censoring Scheme