Personal Information
Organização/Local de trabalho
Ontario, Canada Canada
Cargo
Lecturer
Setor
Technology / Software / Internet
Marcadores
assirims
engineering
software
nets
petri
elevator
systems
modeling
modelling
summary modeling formal
grand challenge
pacemaker
cardiac
cpns
coloured petri nets
validation
verification
coloured
system
software engineering
mathematics
computer science
Ver mais
- Apresentações
- Documentos
- Infográficos