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

1–20 von 348 Ergebnissen
|

    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)

    Common and multiple Lyapunov functions in stability analysis of nonlinear switched systems

    Vassilyev, S.N. / Kosov, A.A. | British Library Conference Proceedings | 2012
    Schlagwörter: Neural networks (Computer science)

    Development of flutter margin prediction program

    Tamayama, M. / Arizono, H. / Saitoh, K. et al. | British Library Conference Proceedings | 2012
    Schlagwörter: Neural networks (Computer science)

    Finite element approximation of turbulent flow applied for simulation of fluid structure interactions

    Svacek, P. | British Library Conference Proceedings | 2012
    Schlagwörter: Neural networks (Computer science)

    Methods for attitude guidance and precise robust gyromoment control of large-scale agile observation spacecraft

    Somov, S. / Butyrin, S. / Somov, Y. | British Library Conference Proceedings | 2012
    Schlagwörter: Neural networks (Computer science)

    Nonlinear dynamics of a MEMS resonator: Theoretical and experimental investigation

    Ruzziconi, L. / Bataineh, A.M. / Younis, M.I. et al. | British Library Conference Proceedings | 2012
    Schlagwörter: Neural networks (Computer science)

    On the derivatives of local minimizers of variational integrals

    Ragusa, M.A. / Tachikawa, A. | British Library Conference Proceedings | 2012
    Schlagwörter: Neural networks (Computer science)

    Stability and bifurcation in a model for the dynamics of stem-like cells in leukemia under treatment

    Radulescu, I.R. / Candea, D. / Halanay, A. | British Library Conference Proceedings | 2012
    Schlagwörter: Neural networks (Computer science)

    Componentwise block partitioning: A new strategy to solve stiff ordinary differential equations

    Othman, K.I. / Ibrahim, Z.B. | British Library Conference Proceedings | 2012
    Schlagwörter: Neural networks (Computer science)