Synonyms were used for: Softwaretechnik
Search without synonyms: title:"Softwaretechnik"

61–80 of 180 hits
|

    Model checking large software specifications

    Chan, W. / Anderson, R.J. / Beame, P. et al. | Tema Archive | 1997

    A hierarchical knowledge based system for airplane classification

    Moldovan, D.I. / Wu, C.I. | Tema Archive | 1988

    Detecting unsafe error recovery schedules

    Lutz, R.R. / Wong, J.S.K. | Tema Archive | 1992

    Clone detection in automotive model-based development

    Deissenboeck, F. / Hummel, B. / Jurgens, E. et al. | Tema Archive | 2008

    The effect of program and model structure on MC/DC test adequacy coverage

    Rajan, A. / Whalen, M.W. / Heimdahl, M.P.E. | Tema Archive | 2008

    AHAA-Agile, hybrid assessment method for automotive, safety critical SMEs

    McCaffery, F. / Pikkarainen, M. / Richardson, I. | Tema Archive | 2008

    A language for advanced protocol analysis in automotive networks

    Reichert, T. / Klaus, E. / Schoch, W. et al. | Tema Archive | 2008

    Cadena: an integrated development, analysis, and verification environment for component-based systems

    Hatcliff, J. / Deng, Xinghua / Dwyer, M.B. et al. | Tema Archive | 2003

    The software development system

    Davis, C.G. / Vick, C.R. | Tema Archive | 1977

    Safety- and security-related features in AUTOSAR

    Bunzel, Stefan / Fürst, Simon / Stappert, Friedhelm et al. | Tema Archive | 2010

    A Guidance Framework for the Generation of Implementation Models in the Automotive Domain

    Wozniak, E. / Mraidha, C. / Gerard, S. et al. | Tema Archive | 2011

    Efficient scheduling of reliable automotive multi-core systems with PD2 by weakening ERfair task system requirements

    Deubzer, Michael / Margull, Ulrich / Mottok, Jürgen et al. | Tema Archive | 2010

    Decision model for automotive intrusion detection systems

    Müter, Michael / Hoppe, Tobias / Dittmann, Jana | Tema Archive | 2010

    Sicherheitskritische Echtzeitsysteme mit Java

    Walter, Andy | Tema Archive | 2010

    Increasing reliability and availability for automotive embedded devices by enhanced wiring diagnosis

    Förster, Ralf / Kempf, Annette / Niemetz, Michael et al. | Tema Archive | 2010

    Generating MC/DC adequate test sequences through model checking

    Rayadurgam, S. / Heimdahl, M.P.E. | Tema Archive | 2004