EasyKit-Entwicklungsmethodik für den entwurf mikromechatronischer systeme
MikroSystemTechnik-Kongress 2009Volume
2009
FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems
2009
Tactile Control: Fixation of Length for Artificial Chordae
IFMBE Proceedings
Springer Berlin Heidelberg
2009
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness
2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications
IEEE
2009
Trajectory-Based Accurate Linearization of the 155mm Spin-Stabilized Projectile Dynamics
AIAA Modeling and Simulation Technologies Conference
American Institute of Aeronautics and Astronautics
2009