Personal Information
Entreprise/Lieu de travail
France France
Profession
Associate Professor in Computer Science at FéRIA-IRIT-INPT-ENSEEIHT, University of Toulouse
Secteur d’activité
Education
Site Web
http://www.enseeiht.fr/~pantel
À propos
Specialties: Formal methods for software engineering
Static analysis
Semantics
Model Driven Engineering
Domain Specific Language
Mots-clés
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
Tout plus
Présentations
(5)Personal Information
Entreprise/Lieu de travail
France France
Profession
Associate Professor in Computer Science at FéRIA-IRIT-INPT-ENSEEIHT, University of Toulouse
Secteur d’activité
Education
Site Web
http://www.enseeiht.fr/~pantel
À propos
Specialties: Formal methods for software engineering
Static analysis
Semantics
Model Driven Engineering
Domain Specific Language
Mots-clés
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
Tout plus