Synonyme wurden verwendet für:
Computer Science
Suche ohne Synonyme:
keywords:("Computer Science")
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
Common and multiple Lyapunov functions in stability analysis of nonlinear switched systems
Development of flutter margin prediction program
Nonlinear dynamics of a MEMS resonator: Theoretical and experimental investigation
On the derivatives of local minimizers of variational integrals
Stability and bifurcation in a model for the dynamics of stem-like cells in leukemia under treatment
Componentwise block partitioning: A new strategy to solve stiff ordinary differential equations