search-head

Sie sind hier: Homepage >  Suche

Aufsatz (Konferenz)   British Library Conference Proceedings   Englisch   Auswahl aufheben

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

1–20 von 4,812 Ergebnissen
|
Sortieren:

    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) , Z (Computer program language)

    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) , Z (Computer program language)

    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) , Z (Computer program language)

    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) , Z (Computer program language)

    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) , Z (Computer program language)

    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) , Z (Computer program language)

    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) , Z (Computer program language)

    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) , Z (Computer program language)

    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) , Z (Computer program language)

    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) , Z (Computer program language)

    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) , Z (Computer program language)

    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) , Z (Computer program language)

    A Cloud Server Selection System - Recommendation, Modeling and Evaluation

    Chang, Y.-C. / Peng, S.-L. / Chang, R.-S. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Vehicular ad hoc networks (Computer networks)

    Fusion of Decisions in Multi-hop Wireless Sensor Networks with Three-Level Censoring Scheme

    Liu, S. / Liu, K. / Chen, W. | British Library Conference Proceedings | 2014
    Schlagwörter: Vehicular ad hoc networks (Computer networks)

    A Receiver-Based Routing Algorithm Using Competing Parameter for VANET in Urban Scenarios

    Wang, L. / Wang, Y. / Wu, C. | British Library Conference Proceedings | 2014
    Schlagwörter: Vehicular ad hoc networks (Computer networks)

    Implementation and Demonstration of WAVE Networking Services for Intelligent Transportation Systems

    Miao, M. / Zheng, Q. / Zheng, K. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Vehicular ad hoc networks (Computer networks)

    Human Readable Scenario Specification for Automated Creation of Simulations on CloudSim

    Filho, M.C.S. / Rodrigues, J.J.P.C. | British Library Conference Proceedings | 2014
    Schlagwörter: Vehicular ad hoc networks (Computer networks)

    The Study of OFDM Synchronization Based on the Particle Swarm Optimization Algorithm

    Kang, G. / Kang, H. / Meng, J. | British Library Conference Proceedings | 2014
    Schlagwörter: Vehicular ad hoc networks (Computer networks)

    Enhancing GNSS-Based Vehicle Positioning Using DSRC and a Nonlinear Robust Filter under the Connected Vehicles Environment

    Jiang, L. / Bai-gen, C. / Jian, W. | British Library Conference Proceedings | 2014
    Schlagwörter: Vehicular ad hoc networks (Computer networks)

    Internet of Vehicles Service in Dual Channel Supply Chains: Who Should Provide?

    Rong, Z. / Bin, L. | British Library Conference Proceedings | 2014
    Schlagwörter: Vehicular ad hoc networks (Computer networks)

Ergebnisse anzeigen
10 50

Suchergebnisse filtern