1–20 von 133 Ergebnissen
|

    Applied Bounded Model Checking for Interlocking System Designs

    Haxthausen, A.E. / Peleska, J. / Pinger, R. | British Library Conference Proceedings | 2014
    Schlagwörter: Railway control

    Twenty-Five Years of Formal Methods and Railways: What Next?

    Fantechi, A. | British Library Conference Proceedings | 2014
    Schlagwörter: Railway control

    Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO

    Abo, R. / Voisin, L. | British Library Conference Proceedings | 2014
    Schlagwörter: Railway control

    Validation of Railway Interlocking Systems by Formal Verification, A Case Study

    Bonacchi, A. / Fantechi, A. / Bacherini, S. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Railway control

    Verification of Scheme Plans Using CSP||B

    James, P. / Moller, F. / Nguyen, H.N. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Railway control

    Verification of Solid State Interlocking Programs

    James, P. / Lawrence, A. / Moller, F. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Railway control

    Performance Evaluation of an Ethernet-Based Cabin Network Architecture Supporting a Low-Latency Service

    Geyer, F. / Schneele, S. / Fischer, W. | British Library Conference Proceedings | 2014
    Schlagwörter: Intelligent control systems

    Optimization for Wireless Vehicular Network System in Urban Area

    Tsuboi, T. / Sekiguchi, T. | British Library Conference Proceedings | 2014
    Schlagwörter: Intelligent control systems

    Attack Potential and Efficient Security Enhancement of Automotive Bus Networks Using Short MACs with Rapid Key Change

    Bittl, S. | British Library Conference Proceedings | 2014
    Schlagwörter: Intelligent control systems

    A DDS-Based Middleware for Cooperation of Air Traffic Service Units

    Mayer, E. / Frohlich, J. | British Library Conference Proceedings | 2014
    Schlagwörter: Intelligent control systems

    Live Video Streaming in Vehicular Networks

    Vinel, A. / Belyaev, E. / Bellalta, B. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Intelligent control systems

    An Improved Relevance Estimation Function for Cooperative Awareness Messages in VANETs

    Breu, J. / Menth, M. | British Library Conference Proceedings | 2014
    Schlagwörter: Intelligent control systems

    LTE Micro-cell Deployment for High-Density Railway Areas

    Sniady, A. / Kassab, M. / Soler, J. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Intelligent control systems

    Context-Aware Retransmission Scheme for Increased Reliability in Platooning Applications

    Bohm, A. / Jonsson, M. / Kunert, K. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Intelligent control systems

    Evaluation of WiFi for Kart Racing Monitoring

    Viittala, H. / Hamalainen, M. / Iinatti, J. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Intelligent control systems

    Reliability Analysis of ZigBee Based Intra-Vehicle Wireless Sensor Networks

    Rahman, M.A. | British Library Conference Proceedings | 2014
    Schlagwörter: Intelligent control systems

    Aeronautical Ad Hoc Network for Civil Aviation

    Vey, Q. / Pirovano, A. / Radzik, J. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Intelligent control systems

    IEEE 802.15.4 Based Wireless Sensor Network for Automotive Test and Measurement Applications with Predictable Frequency Agility

    Binhack, M. / Kupris, G. | British Library Conference Proceedings | 2014
    Schlagwörter: Intelligent control systems

    Evaluation of Performance Enhancement for Crash Constellation Prediction via Car-to-Car Communication: A Simulation Model Based Approach

    Kuehbeck, T. / Hakobyan, G. / Sikora, A. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Intelligent control systems

    Automated RF Emulator for a Highly Scalable IEEE802.11p Communication and Localization Subsystem

    Sikora, A. / Schappacher, M. / Mollendorf, L. | British Library Conference Proceedings | 2014
    Schlagwörter: Intelligent control systems