| Tutorials
| Auditorium
of Electrical Engineering - EPUSP |
9:00-17:30 Tutorial 1:
"Development of Safety-Critical Systems and Model-based Risk
Analysis with UML"
Jan Jürjens, Siv Hilde Houmb (Munich University of Technology,
Germany)
Click
here to see more information
| Auditorium
of Computer Engineering and Digital System Department - EPUSP |
9:00-13:00 Tutorial 2:
"On the Cost of Fault-Tolerant Consensus when there are no
Faults"
Idit Keidar (Technion, Israel), Sergio Rajsbaum (UNAM, Mexico)
Click
here to see more information
| Auditorium
of Administration - EPUSP |
9:00-13:00 Tutorial 3:
"Practical Approach to Quality Assurance in Critical Systems"
(in Portuguese)
Carlos Augusto Teixeira de Moura (CLA, Brazil), Carlos Henrique
Netto Lahoz, Martha
Adriana Dias Abdala (IAE/CTA, Brazil)
Click
here to see more information
|
