Publications 2002

  • K. Bender and M. Broy and I. Péter and A. Pretschner and T. Stauner.
    Model based development of hybrid systems: specification, simulation, test case generation
    .
    In Modelling, Analysis, and Design of Hybrid Systems.LNCIS, 279. Springer, 2002.
    [Download abstract (TXT, 786 Bytes) | Download BibTeX (TXT, 1 KB)]
JavaScript has been disabled in your browser