Personal Information
Entreprise/Lieu de travail
Ontario, Canada Canada
Profession
Lecturer
Secteur d’activité
Technology / Software / Internet
Mots-clés
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
Tout plus
Présentations
(7)J’aime
(2)Modeling with petri nets
Mohammed Assiri
•
il y a 4 ans
Integration of sequential scenarios
Mohammed Assiri
•
il y a 4 ans
Personal Information
Entreprise/Lieu de travail
Ontario, Canada Canada
Profession
Lecturer
Secteur d’activité
Technology / Software / Internet
Mots-clés
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
Tout plus