1–37 von 37 Ergebnissen
|

    Trip Report E. W. Dijkstra, Newcastle, 8–12 September 1975

    Prof. Dr. Dijkstra, Edsger W. | Springer Verlag | 1982
    Schlagwörter: Computation by Abstract Devices

    The Landing Gear System Case Study

    Boniol, Frédéric / Wiels, Virginie | Springer Verlag | 2014
    Schlagwörter: Computation by Abstract Devices

    A Robot Architecture Based on Higher Order Perception Loop

    Chella, Antonio | Springer Verlag | 2009
    Schlagwörter: Computation by Abstract Devices

    Modeling an Aircraft Landing System in Event-B

    Méry, Dominique / Singh, Neeraj Kumar | Springer Verlag | 2014
    Schlagwörter: Computation by Abstract Devices

    Validation of the ABZ Landing Gear System Using ProB

    Hansen, Dominik / Ladenberger, Lukas / Wiegard, Harald et al. | Springer Verlag | 2014
    Schlagwörter: Computation by Abstract Devices

    Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System

    Su, Wen / Abrial, Jean-Raymond | Springer Verlag | 2014
    Schlagwörter: Computation by Abstract Devices

    Modeling a Landing Gear System in Event-B

    Mammar, Amel / Laleau, Régine | Springer Verlag | 2014
    Schlagwörter: Computation by Abstract Devices

    Context-Aware Verification of a Landing Gear System

    Dhaussy, Philippe / Teodorov, Ciprian | Springer Verlag | 2014
    Schlagwörter: Computation by Abstract Devices

    The Landing Gear Case Study in Hybrid Event-B

    Banach, Richard | Springer Verlag | 2014
    Schlagwörter: Computation by Abstract Devices

    Landing Gear System: An ASM-Based Solution for the ABZ Case Study

    Kossak, Felix | Springer Verlag | 2014
    Schlagwörter: Computation by Abstract Devices

    An Instrumentation-Based Approach to Controller Model Validation

    Cleaveland, Rance / Smolka, Scott A. / Sims, Steven T. | Springer Verlag | 2008
    Schlagwörter: Computation by Abstract Devices

    Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre

    Berthomieu, Bernard / Dal Zilio, Silvano / Fronc, Łukasz | Springer Verlag | 2014
    Schlagwörter: Computation by Abstract Devices

    Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module

    Arcaini, Paolo / Gargantini, Angelo / Riccobene, Elvinia | Springer Verlag | 2014
    Schlagwörter: Computation by Abstract Devices

    Modeling and Analyzing Using ASMs: The Landing Gear System Case Study

    Arcaini, Paolo / Gargantini, Angelo / Riccobene, Elvinia | Springer Verlag | 2014
    Schlagwörter: Computation by Abstract Devices

    Co-simulation Environment for Rodin: Landing Gear Case Study

    Savicks, Vitaly / Butler, Michael / Colley, John | Springer Verlag | 2014
    Schlagwörter: Computation by Abstract Devices

    Trip Report E. W. Dijkstra, Poland and USSR, 4–25 September 1976

    Prof. Dr. Dijkstra, Edsger W. | Springer Verlag | 1982
    Schlagwörter: Computation by Abstract Devices

    Generating Sound and Resource-Aware Code from Hybrid Systems Models

    Anand, Madhukar / Fischmeister, Sebastian / Kim, Jesung et al. | Springer Verlag | 2008
    Schlagwörter: Computation by Abstract Devices

    Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code

    Ferdinand, Christian / Heckmann, Reinhold / Wilhelm, Reinhard | Springer Verlag | 2006
    Schlagwörter: Computation by Abstract Devices

    Validation of Component and Service Federations in Automotive Software Applications

    Baresi, Luciano / Ghezzi, Carlo | Springer Verlag | 2006
    Schlagwörter: Computation by Abstract Devices

    Towards Verification of Model Transformations Via Goal-Directed Certification

    Karsai, Gabor / Narayanan, Anantha | Springer Verlag | 2008
    Schlagwörter: Computation by Abstract Devices

    Towards a Component Architecture for Hard Real Time Control Applications

    Pree, Wolfgang / Templ, Josef | Springer Verlag | 2006
    Schlagwörter: Computation by Abstract Devices

    Simulink Integration of Giotto/TDL

    Pree, Wolfgang / Stieglbauer, Gerald / Templ, Josef | Springer Verlag | 2006
    Schlagwörter: Computation by Abstract Devices

    Active Guidance for a Finless Rocket Using Neuroevolution

    Gomez, Faustino J. / Miikkulainen, Risto | Springer Verlag | 2003
    Schlagwörter: Computation by Abstract Devices

    On the Fault Hypothesis for a Safety-Critical Real-Time System

    Kopetz, H. | Springer Verlag | 2006
    Schlagwörter: Computation by Abstract Devices

    Automotive Software: A Challenge and Opportunity for Model-Based Software Development

    Karsai, Gabor | Springer Verlag | 2006
    Schlagwörter: Computation by Abstract Devices

    Software for Automotive Systems: Model-Integrated Computing

    Neema, Sandeep / Karsai, Gabor | Springer Verlag | 2006
    Schlagwörter: Computation by Abstract Devices

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

    Grossmann, Juergen / Fey, Ines / Krupp, Alexander et al. | Springer Verlag | 2008
    Schlagwörter: Computation by Abstract Devices

    A Compositional Framework for Real-Time Guarantees

    Shin, Insik / Lee, Insup | Springer Verlag | 2006
    Schlagwörter: Computation by Abstract Devices

    Modeling with the Timing Definition Language (TDL)

    Pree, Wolfgang / Templ, Josef | Springer Verlag | 2008
    Schlagwörter: Computation by Abstract Devices

    Adding Value to Automotive Models

    Böde, Eckard / Damm, Werner / Høyem, Jarl et al. | Springer Verlag | 2006
    Schlagwörter: Computation by Abstract Devices

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

    Prasad, K. Venkatesh / Giuli, Thomas J. / Watson, David | Springer Verlag | 2008
    Schlagwörter: Computation by Abstract Devices

    Towards Model-Driven Development of Hard Real-Time Systems

    Integrating ASCET and aiT/StackAnalyzer
    Ferdinand, Christian / Heckmann, Reinhold / Wolff, Hans-Jörg et al. | Springer Verlag | 2008
    Schlagwörter: Computation by Abstract Devices

    Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform

    Mueller-Glaser, Klaus D. / Reichmann, Clemens / Kuehl, Markus et al. | Springer Verlag | 2006
    Schlagwörter: Computation by Abstract Devices

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

    Neema, Sandeep / Birla, Sushil / Wang, Shige et al. | Springer Verlag | 2008
    Schlagwörter: Computation by Abstract Devices

    A Software and System Modeling Facility for Vehicle Environment Interactions

    Nelson, Edward / Huang, Henry | Springer Verlag | 2008
    Schlagwörter: Computation by Abstract Devices

    Reusable Services and Semi-automatic Service Composition for Automotive Software

    Giese, Holger | Springer Verlag | 2008
    Schlagwörter: Computation by Abstract Devices

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

    Subramonian, Venkita / Gill, Christopher | Springer Verlag | 2008
    Schlagwörter: Computation by Abstract Devices