Validation of Discrete Events Automotive Systems from their Bahaviour Specification Models
Congress; 26th, FISITA 96: Engineering challenge; human friendly vehicles ; 1996 ; Prague
1996-01-01
236 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Optimisation of dynamic crankshaft bahaviour for sound quality improvement
Tema Archive | 1999
|Thermal Bahaviour of MMC and CMC Materials for Brake Applications
British Library Conference Proceedings | 1996
|Algebraic Specification of Discrete Event System Models and Their Refinements
British Library Online Contents | 1994
|