Personal Information
Unternehmen/Arbeitsplatz
France France
Beruf
Associate Professor in Computer Science at FéRIA-IRIT-INPT-ENSEEIHT, University of Toulouse
Branche
Education
Webseite
http://www.enseeiht.fr/~pantel
Info
Specialties: Formal methods for software engineering
Static analysis
Semantics
Model Driven Engineering
Domain Specific Language
Tags
models2016
why3
formal method
executable models
modevva2016
model driven engineering
verification feedback
dsl
formal verification
exe2016
models of concurrency
automated code generation
framac
simulink
modeling languages
ocl
gemoc
ccsl
semantic variation points
Mehr anzeigen
Präsentationen
(5)Personal Information
Unternehmen/Arbeitsplatz
France France
Beruf
Associate Professor in Computer Science at FéRIA-IRIT-INPT-ENSEEIHT, University of Toulouse
Branche
Education
Webseite
http://www.enseeiht.fr/~pantel
Info
Specialties: Formal methods for software engineering
Static analysis
Semantics
Model Driven Engineering
Domain Specific Language
Tags
models2016
why3
formal method
executable models
modevva2016
model driven engineering
verification feedback
dsl
formal verification
exe2016
models of concurrency
automated code generation
framac
simulink
modeling languages
ocl
gemoc
ccsl
semantic variation points
Mehr anzeigen