Auflistung nach Autor "Leucker, Martin"
Anzeige der Dokumente 1-4 von 4
-
Counterexample guided abstraction refinement of product-line behavioural models
Cordy, Maxime; Heymans, Patrick; Legay, Axel; Schobbens, Pierre-Yves; Dawagne, Bruno; Leucker, Martin
79-80 -
Klassifikationsbäume in Echtzeit
Leucker, Martin; Löser, Moritz; Nowotka, Dirk; Rischen, Joachim
-
Lightweight Verification 2008
Leucker, Martin; Seidl, Helmut
965-966 -
Mildner, malte schmitzvom forschungsprototypen zur industriellen nutzung einer qualitätsgesicherten me-dizinischen softwarekomponente - technologietransfer im CMSSE
Bußhaus, Timm; Fischer, Stefan; Kühn, Franziska; Leucker, Martin
243-248