Synonyme wurden verwendet für: Wissenschaft
Suche ohne Synonyme: keywords:("Wissenschaft")

1–20 von 4,186 Ergebnissen
|

    Optometry and vision science

    British Library Conference Proceedings | 2014
    Schlagwörter: Vision 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)

    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)

    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)

    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)

    Multiobjective Optimization for Electric Drives Design in Solar-Powered Ultralight Aircrafts

    Guarino, P. / Cascella, G.L. / Stasi, S. et al. | British Library Conference Proceedings | 2013
    Schlagwörter: Systems science

    Plenary Lecture 5: Night Vision Systems for Pedestrian Safety from Road Traffic

    Bekiarski, A. / WSEAS (Organization) | British Library Conference Proceedings | 2013
    Schlagwörter: Systems science

    Plenary Lecture 3: Automotive Hybrid Systems Used in Traction

    Lungoci, C.M. / WSEAS (Organization) | British Library Conference Proceedings | 2013
    Schlagwörter: Systems science

    Some Aspects of Sustainable Energy Conversion in Electric Railway Vehicles with Traction Induction Motors

    Nicola, D.A. / Rosen, M.A. / Bulucea, C.A. et al. | British Library Conference Proceedings | 2013
    Schlagwörter: Systems science

    Situational Awareness based Neural Flight Control of a Coaxial Rotor/Ducted-Fan Helicopter

    Astrov, I. / Pikkov, M. / Paluoja, R. et al. | British Library Conference Proceedings | 2013
    Schlagwörter: Systems science

    2001-2010 Glacier Changes in the Central Karakoram National Park: A Contribution to Evaluate Magnitude and Rate of the ``Karakoram Anomaly''

    Minora, U. / Bocchiola, D. / D Agata, C. | British Library Conference Proceedings | 2013
    Schlagwörter: Cryosphere science

    CaFTS - A Coherence and Feature Tracking Study for Sentinel-1

    Hogg, A.E. / Shepherd, A. / Engdahl, M. et al. | British Library Conference Proceedings | 2013
    Schlagwörter: Cryosphere science