Conference Program
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Critical Software Workshop(WOCS)
9th Workshop on Critical Software System (WOCS2)
| WOCS-1 | 11.17 [thu] 10:00-16:00 Conference Center 4F[411+412] |
| Formal & Model-based Method session (Oral Speech) |
» Page Top
| WOCS-2 | 11.17 [thu] 10:00-16:00 Conference Center 4F[413] |
| Reliability & Safety session (Oral Speech) |
» Page Top
| WOCS-3 | 11.18 [fri] 10:00-16:40 Conference Center 5F[503] | ||
|
10:00-10:15 Opening |
||
|
10:15-11:45 Complex Systems Engineering: The Future of System Design |
||
|
||
|
12:45-14:15 [Title Undecided] |
||
|
||
|
14:25-15:25 Safety design and operations for KIBO Remote Manipulator System |
||
|
||
|
15:25-16:25 Unexpected accident vs Hazard analysis |
||
|
||
|
16:25-16:40 Closing |
» Page Top




















