Andreas Classen und Axel Legay Person-Info

( Ich bin Andreas Classen)

(1 - 6 von 6

)

Andreas Classen - dblpdblp.org › Persons

dblp.org

· Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens , Patrick Heymans, Axel Legay, Jean-François Raskin:

Awards – 24th ACM International Systems

splc2020.net

Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, and Jean-François Raskin. “Model Checking Lots of Systems: Efficient Verification of ...

Model Checking for Software Product Lines with SNIP - Inria

hal.inria.fr

Andreas Classen, Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay. Model Checking for Software Product Lines with SNIP. International ...

Symbolic Model Checking of Software Product Lines - Archive ...hal.archives-ouvertes.fr › hal

hal.archives-ouvertes.fr

Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay. Symbolic Model Checking of Software Product Lines. ICSE : 33rd International ...

Verifying Software Product Lines with ProVeLines - Archive ouverte HAL

hal.archives-ouvertes.fr

Maxime Cordy 1 Marco Willemart 2Andreas Classen 1 Patrick Heymans 1 Pierre -Yves Schobbens 1 Axel Legay 3. Détails. 1 PReCISE. PReCISE - PReCISE ...

Alle Infos zum Namen "Andreas Classen"

Verwandte Suchanfragen zu Andreas Classen

Jakob Schwarz
Patrick Heymans
Hendrik Classen

Barbara Schmitz
Heinrich Sommer
Johann Andreas

Person "Classen" (7)
Vorname "Andreas" (97752)
Name "Classen" (771)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Impressum AGB Datenschutz

+1

Weltweit