Roberto Bruttomesso
23
Seguidores
Personal Information
Organização/Local de trabalho
Trento Area, Italy Italy
Cargo
Research Engineer
Setor
Technology / Software / Internet
Sobre
Research and Development in the context of model-based engineering for avionics and automotive, with focus on requirements validation, safety analysis, and automated test generation.
Marcadores
opensmt
mathematical logic
bit-vectors
sat
smt
formal methods
smt-solvers
Ver mais
- Apresentações
- Documentos
- Infográficos