search-head

Sie sind hier: Homepage >  Suche

British Library Conference Proceedings   Physik   Bautechnik   Verkehrstechnik, Verkehrswesen   Auswahl aufheben
1–20 von 479 Ergebnissen
|
Sortieren:

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

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

    Verification of Scheme Plans Using CSP||B

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

    Applied Bounded Model Checking for Interlocking System Designs

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

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

    Fantechi, A. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Verification of Solid State Interlocking Programs

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

    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: Software engineering

    2011-01-1266 High Voltage Connect Feature

    Schieffer, T. / Katoch, S. / Marsh, R. et al. | British Library Conference Proceedings | 2011
    Schlagwörter: In-vehicle software

    2011-01-1265 Virtualization for ECU Platform Software Testing in Automotive Embedded

    Katyal, R.K. / Srinath, S. / Society of Automotive Engineers | British Library Conference Proceedings | 2011
    Schlagwörter: In-vehicle software

    2011-01-1044 ADACS: Advanced Diagnosis for Time-Triggered Automotive Communication Systems

    Armengaud, E. / Tengg, A. / Lieger, R. et al. | British Library Conference Proceedings | 2011
    Schlagwörter: In-vehicle software

    2011-01-1034 J2716 SENT - Single Edge Nibble Transmission, Updates and Status

    Costin, M. / Horner, R. / Jaegers, J. et al. | British Library Conference Proceedings | 2011
    Schlagwörter: In-vehicle software

    2011-01-1263 Applying Software Dependence Analysis for Automotive Embedded Software

    Sukumaran, S. / Haines, T. / Ramesh, S. et al. | British Library Conference Proceedings | 2011
    Schlagwörter: In-vehicle software

    2011-01-1026 Improved Robustness and Interoperability Testing Approach for FlexRay Controllers

    Bollati, D. / Canas, F. / Society of Automotive Engineers | British Library Conference Proceedings | 2011
    Schlagwörter: In-vehicle software

    2011-01-1038 Guaranteeing Hard Real-Time Requirements of In-Vehicle Multihop Communication Over COTS Ethernet Hardware

    Lext, J. / Brohne, L. / Andersson, B. et al. | British Library Conference Proceedings | 2011
    Schlagwörter: In-vehicle software

    2011-01-1027 FlexRay Active Star Network Integration Strategies and Host Interface Implementation

    Peruski, L. / Menon, S. / Society of Automotive Engineers | British Library Conference Proceedings | 2011
    Schlagwörter: In-vehicle software

    2011-01-1264 Using Model Transformation/Code Generation Technology to Migrate Legacy Software Assets to AUTOSAR

    Flores, R. / Rosa, D. / Murugesan, M. et al. | British Library Conference Proceedings | 2011
    Schlagwörter: In-vehicle software

    2011-01-1043 A New High-Speed Bus Topology LAN Protocol Compatible with CAN

    Kurachi, R. / Takada, H. / Nishimura, M. et al. | British Library Conference Proceedings | 2011
    Schlagwörter: In-vehicle software

    2011-01-1045 Reliability and Safety/Integrity Analysis for Vehicle-to-Vehicle Wireless Communication

    Ghosal, A. / Bai, F. / Debouk, R. et al. | British Library Conference Proceedings | 2011
    Schlagwörter: In-vehicle software

    2011-01-1042 Ethernet and IP - The Solution to Master Complexity, Safety and Security in Vehicle Communication Networks?

    Stolz, W. / Williams, K. / Lorenz, T. et al. | British Library Conference Proceedings | 2011
    Schlagwörter: In-vehicle software

    2011-01-1041 ESCAN - An Open Source, High Bandwidth, Event Scheduled Controller Area Network

    Williams, A. / Quigley, C. / Finney, J. et al. | British Library Conference Proceedings | 2011
    Schlagwörter: In-vehicle software

    2011-01-1029 Automatic Gateway Prototype Generation for Optimization of E/E-Architectures Based on High-Level Models

    Sander, O. / Merz, J. / Becker, J. et al. | British Library Conference Proceedings | 2011
    Schlagwörter: In-vehicle software

Ergebnisse anzeigen
10 50

Suchergebnisse filtern