Marc Pantel
5 SlideShares 1 Seguidor
Personal Information
Organização/Local de trabalho
France France
Cargo
Associate Professor in Computer Science at FéRIA-IRIT-INPT-ENSEEIHT, University of Toulouse
Setor
Education
Site
http://www.enseeiht.fr/~pantel
Sobre
Specialties: Formal methods for software engineering Static analysis Semantics Model Driven Engineering Domain Specific Language
Detalhes do contato
Marcadores
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 mais
Personal Information
Organização/Local de trabalho
France France
Cargo
Associate Professor in Computer Science at FéRIA-IRIT-INPT-ENSEEIHT, University of Toulouse
Setor
Education
Site
http://www.enseeiht.fr/~pantel
Sobre
Specialties: Formal methods for software engineering Static analysis Semantics Model Driven Engineering Domain Specific Language
Marcadores
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 mais