1–20 von 281 Ergebnissen
|

    Analysis of the Acoustic Performance of Automotive Exhaust Muffler and Optimization of its Structure

    Zhu, M.Y. / Liu, Q. | British Library Conference Proceedings | 2011
    Schlagwörter: Computer science

    Research on Seat Design of Railway Passenger Car

    Zhang, B.C. / Guo, W.M. / Wang, Y.Q. | British Library Conference Proceedings | 2011
    Schlagwörter: Computer science

    Non-Cylindrical Fuselage Structural Optimization of BWB Civil Aircraft

    Zhang, Y.J. / Wang, B.T. | British Library Conference Proceedings | 2011
    Schlagwörter: Computer science

    Modeling and Analyzing Using ASMs: The Landing Gear System Case Study

    Arcaini, P. / Gargantini, A. / Riccobene, E. | British Library Conference Proceedings | 2014
    Schlagwörter: Formal methods (Computer science) , B method (Computer science)

    Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System

    Su, W. / Abrial, J.-R. | British Library Conference Proceedings | 2014
    Schlagwörter: Formal methods (Computer science) , B method (Computer science)

    Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module

    Arcaini, P. / Gargantini, A. / Riccobene, E. | British Library Conference Proceedings | 2014
    Schlagwörter: Formal methods (Computer science) , B method (Computer science)

    Landing Gear System: An ASM-Based Solution for the ABZ Case Study

    Kossak, F. | British Library Conference Proceedings | 2014
    Schlagwörter: Formal methods (Computer science) , B method (Computer science)

    Context-Aware Verification of a Landing Gear System

    Dhaussy, P. / Teodorov, C. | British Library Conference Proceedings | 2014
    Schlagwörter: Formal methods (Computer science) , B method (Computer science)

    Validation of the ABZ Landing Gear System Using ProB

    Hansen, D. / Ladenberger, L. / Wiegard, H. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Formal methods (Computer science) , B method (Computer science)

    Co-simulation Environment for Rodin: Landing Gear Case Study

    Savick, V. / Butler, M. / Colley, J. | British Library Conference Proceedings | 2014
    Schlagwörter: Formal methods (Computer science) , B method (Computer science)

    Modeling an Aircraft Landing System in Event-B

    Mery, D. / Singh, N.K. | British Library Conference Proceedings | 2014
    Schlagwörter: Formal methods (Computer science) , B method (Computer science)

    Modeling a Landing Gear System in Event-B

    Mammar, A. / Laleau, R. | British Library Conference Proceedings | 2014
    Schlagwörter: Formal methods (Computer science) , B method (Computer science)

    The Landing Gear System Case Study

    Boniol, F. / Wiels, V. | British Library Conference Proceedings | 2014
    Schlagwörter: Formal methods (Computer science) , B method (Computer science)

    The Landing Gear Case Study in Hybrid Event-B

    Banach, R. | British Library Conference Proceedings | 2014
    Schlagwörter: Formal methods (Computer science) , B method (Computer science)

    Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre

    Berthomieu, B. / Zilio, S.D. / Fronc, L. | British Library Conference Proceedings | 2014
    Schlagwörter: Formal methods (Computer science) , B method (Computer science)

    The SCD Architecture and its Use in the Design of Story-Driven Interactive Spaces

    Pinhanez, C. / Trinity College Dublin | British Library Conference Proceedings | 2000
    Schlagwörter: computer science

    Reality and Virtual Reality in Mobile Robotics

    Duffy, B. / O'Hare, G. / O'Donoghue, R. et al. | British Library Conference Proceedings | 2000
    Schlagwörter: computer science

    Smart Environments: Some Challenges for the Computing Community

    Nixon, P. / Dobson, S. / Lacey, G. et al. | British Library Conference Proceedings | 2000
    Schlagwörter: computer science

    Learning Spatial Event Models from Multiple-Camera Perspectives in an Intelligent Room

    Coen, M. / Wilson, K. / Trinity College Dublin | British Library Conference Proceedings | 2000
    Schlagwörter: computer science

    Two Aspects of Multiple Mobile Robots: A Parallel Architecture and an Autonomous Navigation Strategy

    Lauria, S. / Foster, G. / Harwin, W. et al. | British Library Conference Proceedings | 2000
    Schlagwörter: computer science