Personal Information
Organización/Lugar de trabajo
France France
Ocupación
Associate Professor in Computer Science at FéRIA-IRIT-INPT-ENSEEIHT, University of Toulouse
Sector
Education
Sitio web
http://www.enseeiht.fr/~pantel
Acerca de
Specialties: Formal methods for software engineering
Static analysis
Semantics
Model Driven Engineering
Domain Specific Language
Etiquetas
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
Ver más
Presentaciones
(5)Personal Information
Organización/Lugar de trabajo
France France
Ocupación
Associate Professor in Computer Science at FéRIA-IRIT-INPT-ENSEEIHT, University of Toulouse
Sector
Education
Sitio web
http://www.enseeiht.fr/~pantel
Acerca de
Specialties: Formal methods for software engineering
Static analysis
Semantics
Model Driven Engineering
Domain Specific Language
Etiquetas
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
Ver más