1–20 von 246 Ergebnissen
|

    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

    Verification of Solid State Interlocking Programs

    James, P. / Lawrence, A. / Moller, F. 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 Scheme Plans Using CSP||B

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

    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

    Reusable Services and Semi-automatic Service Composition for Automotive Software

    Giese, H. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems

    Subramonian, V. / Gill, C. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    TestML - A Test Exchange Language for Model-Based Testing of Embedded Software

    Grossmann, J. / Fey, I. / Krupp, A. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control

    Neema, S. / Birla, S. / Wang, S. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software

    Prasad, K.V. / Giuli, T.J. / Watson, D. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    Generating Sound and Resource-Aware Code from Hybrid Systems Models

    Anand, M. / Fischmeister, S. / Kim, J. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    Towards Verification of Model Transformations Via Goal-Directed Certification

    Karsai, G. / Narayanan, A. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    A Software and System Modeling Facility for Vehicle Environment Interactions

    Nelson, E. / Huang, H. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    An Instrumentation-Based Approach to Controller Model Validation

    Cleaveland, R. / Smolka, S.A. / Sims, S.T. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    Modeling with the Timing Definition Language (TDL)

    Pree, W. / Templ, J. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer

    Ferdinand, C. / Heckmann, R. / Wolff, H.-J. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    2007-01-0515 Design and Implementation of an Integrated Development Environment Consisting of Engine Rapid Control Prototyping and Real Time Vehicle Simulation

    Jiang, S. / Medonza, D. / Furukawa, S. et al. | British Library Conference Proceedings | 2007
    Schlagwörter: In vehicle software

    2007-01-0511 Aspect-Oriented Requirements Modeling and Analysis Methodology for Multiple Product Lines of Distributed Real-Time Automotive Software Systems

    Aoyama, M. / Yoshino, A. / Society of Automotive Engineers | British Library Conference Proceedings | 2007
    Schlagwörter: In vehicle software

    2007-01-1645 Large Scale Modeling and Simulation of Propulsion Systems

    Nadarajah, S. / Society of Automotive Engineers | British Library Conference Proceedings | 2007
    Schlagwörter: In vehicle software