Synonyme wurden verwendet für:
Theorie
Suche ohne Synonyme:
keywords:("Theorie")
Validation of the ABZ Landing Gear System Using ProB
Uncertainty Analysis for Two Freeway Sites
Toward Benchmarking of Microscopic Traffic Flow Models
The Landing Gear System Case Study
The Landing Gear Case Study in Hybrid Event-B
Signalized Intersection Level of Service Incorporating Safety Risk
Probabilistic Traffic Flow Breakdown in Stochastic Car-Following Models
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
Numerical Analysis of Freeway Traffic Flow Dynamics for Multiclass Drivers
Nonequilibrium Continuum Traffic Flow Model with Frozen Sound Wave Speed
Modeling Platoon Dispersal Pattern of Heterogeneous Road Traffic
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
Modeling an Aircraft Landing System in Event-B
Modeling a Landing Gear System in Event-B
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
Landing Gear System: An ASM-Based Solution for the ABZ Case Study
Freeway Weaving: Comparison of Highway Capacity Manual 2000 and Dutch Guidelines
Framework for Investigation of Level-of-Service Criteria and Thresholds on Rural Freeways
Evaluation and Design of Maximum Green Time Settings for Traffic-Actuated Control
Estimating Values for Traffic Parameters in Turning Lanes
Co-simulation Environment for Rodin: Landing Gear Case Study
Context-Aware Verification of a Landing Gear System
Capacity and Queue Modeling for On-Ramp-Freeway Junctions
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System