Synonyme wurden verwendet für: Informatik
Suche ohne Synonyme: title: Informatik

1–20 von 67 Ergebnissen
|

    Title page

    IEEE | 2014

    Title pages

    IEEE | 2014

    [Title page i]

    IEEE | 2011
    ; power electronics; control systems; communication networks; computer networks; computer science; and education. ...

    Modern control systems

    Dorf, Richard C. / Bishop, Robert H. | TIBKAT | 2021
    Schlagwörter: Engineering and 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)

    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)

    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)

    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)

    Meaningful futures with robots : designing a new coexistence

    Dörrenbächer, Judith / Neuhaus, Robin / Ringfort-Felner, Ronda | TIBKAT | 2023
    Cover -- Half Title -- Series Page -- Title Page -- Copyright Page -- About the Author -- Contents -- Introduction -- Towards Designing ...
    Schlagwörter: COMPUTERS / Computer Science

    ICMEAE 2015 : 2015 International Conference on Mechatronics, Electronics, and Automotive Engineering : 24-27 November 2015, Cuernavaca, Morelos, México : proceedings

    International Conference on Mechatronics, Electronics and Automotive Engineering / Institute of Electrical and Electronics Engineers | TIBKAT | 2015
    of future developments, and innovative applications relevant to electronics, mechatronics, robotics, control, computer science, and related ...

    Analysis of 1.55[mu]m semiconductor lasers for modelocked operation

    Freier Zugriff
    Lau, Erwin Kin-Ping, 1977- | DSpace@MIT | 2001
    Schlagwörter: Electrical Engineering and Computer Science.