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

1–20 von 4,818 Ergebnissen
|

    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)

    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)

    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)

    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 BLE-Based Mobile Cloud Architecture for Longer Smart Mobile Device Battery Life

    Mao, J. / Yeung, K.H. | British Library Conference Proceedings | 2014
    Schlagwörter: Vehicular ad hoc networks (Computer networks)

    A Dynamic Requests Scheduling Model Based on Prediction in Multi-core Web Server

    You, G. / Wang, X. / Zhao, Y. | British Library Conference Proceedings | 2014
    Schlagwörter: Vehicular ad hoc networks (Computer networks)

    SepStore: Data Storage Accelerator for Distributed File Systems by Separating Small Files from Large Files

    Wang, Z. / Chen, K. / Wu, Y. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Vehicular ad hoc networks (Computer networks)

    tNote: A Social Network of Vehicles under Internet of Things

    Alam, K.M. / Saini, M. / El Saddik, A. | British Library Conference Proceedings | 2014
    Schlagwörter: Vehicular ad hoc networks (Computer networks)

    Toward Designing Efficient Service Discovery Protocol in Vehicular Networks

    Albraheem, L. / AlRodhan, M. / Aldhlaan, A. | British Library Conference Proceedings | 2014
    Schlagwörter: Vehicular ad hoc networks (Computer networks)

    Understanding Human Driving Behavior through Computational Cognitive Modeling

    Kumar, A. / Prakash, J. / Dutt, V. | British Library Conference Proceedings | 2014
    Schlagwörter: Vehicular ad hoc networks (Computer networks)

    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)