1–20 von 37 Ergebnissen
|

    The SafeCap Platform for Modelling Railway Safety and Capacity

    Iliasov, Alexei / Lopatkin, Ilya / Romanovsky, Alexander | Tema Archiv | 2013
    Schlagwörter: Event-B

    An Algorithm for Airborne Conflict Detection Based on Support Vector Machine

    Jiao, Yu Liang / Zhang, Xue Jun / Guan, Xiang Min | Trans Tech Publications | 2012
    Schlagwörter: ADS-B

    Parametric generation of planing hulls

    Perez-Arribas, F. | Tema Archiv | 2014
    Schlagwörter: B-spline

    A Unified Approach to the Modeling of Airplane Wings and Numerical Grid Generation Using B-Spline Representations

    Brakhage, Karl-Heinz / Dahmen, Wolfgang / Lamby, Philipp | Tema Archiv | 2010
    Schlagwörter: B-spline

    NURBS skinning surface for ship hull design based on new parameterization method

    Shamsuddin, S.M. / Ahmed, M.A. / Samian, Y. | Tema Archiv | 2006
    Schlagwörter: NURBS (nonuniform rational B-splines)

    Experimental Analysis of Attacks on Next Generation Air Traffic Communication

    Schäfer, Matthias / Lenders, Vincent / Martinovic, Ivan | Tema Archiv | 2013
    Schlagwörter: ADS-B (automatic dependent surveillance broadcast)

    The Comparative Semantics of the Term Irteqab (Revelation) in Sunni and Shi’ite Exegesis

    Freier Zugriff
    Ali Reza Sharif / Seyed Mohammad Razavi | DOAJ | 2019
    Schlagwörter: B

    Contrasting Accuracies of Regions’ Statistical Data with B-F Problem

    Gong, Minqing / Sun, Mingwei / Jin, Mingzhong | Springer Verlag | 2012
    Schlagwörter: B-F problem

    Modelling and Control Design for Membrane Potential Conduction Along Nerve Fibre Using B-spline Neural Network

    Zhang, Qichun / Sepulveda, Francisco | Springer Verlag | 2017
    Schlagwörter: B-spline neural network

    Modeling an Aircraft Landing System in Event-B

    Méry, Dominique / Singh, Neeraj Kumar | Springer Verlag | 2014
    Schlagwörter: Event-B

    Modeling an Aircraft Landing System in Event-B

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

    Modeling a Landing Gear System in Event-B

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

    The Landing Gear System Case Study

    Boniol, F. / Wiels, V. | British Library Conference Proceedings | 2014
    Schlagwörter: 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: B method (Computer science)

    Context-Aware Verification of a Landing Gear System

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

    The Landing Gear Case Study in Hybrid Event-B

    Banach, R. | British Library Conference Proceedings | 2014
    Schlagwörter: 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: B method (Computer science)