- CSB - MetaPress - Google - Bing - Yahoo
 | 2004 | |
|---|---|---|
| j2 |      | Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps: Model based testing in incremental system development. Journal of Systems and Software 70(3): 315-329 (2004) |
| 2003 | ||
| b1 |  | Heiko Lötzbeyer: Modellbasierte Testfallermittlung für eingebettete Systeme in sicherheitskritischen Anwendungen. Technical University Munich 2003, isbn 3-8325-0339-0, pp. 1-234 |
| 2002 | ||
| c3 | | Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl: Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. Ada Deutschland Tagung 2002: 37-52 |
| i1 | | Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl: Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. CoRR cs.SE/0201023 (2002) |
| 2001 | ||
| c2 | | Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps: Model Based Testing in Evolutionary Software Development. IEEE International Workshop on Rapid System Prototyping 2001: 155-161 |
| 2000 | ||
| j1 | | Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch: Specification based test sequence generation with propositional logic. Softw. Test., Verif. Reliab. 10(4): 229-248 (2000) |
| c1 | | Peter Braun, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch: Consistent Integration of Formal Methods. TACAS 2000: 48-62 |
| 1 | Andree Blotz | |
| 2 | Peter Braun 0003 | |
| 3 | Franz Huber | |
| 4 | Jan Philipps | |
| 5 | Alexander Pretschner (Walter Alexander Pretschner) | |
| 6 | Bernhard Schätz | |
| 7 | Oscar Slotosch | |
| 8 | Guido Wimmel | |
| 9 | Hans-Peter Zängerl |
Data released under the ODC-BY 1.0 license — See also our legal information page