Up to date agenda can be found at: https://omg.org/events/2020Q4/agendas/SEDSIGCalendar.html
| Tue 2020-12-08 | |
| 10:00-10:05 | Introduction - S Friedenthal |
| 10:05-11:10 | How Do We Make Sure Future Cyber-Physical Systems Are Human Centered, and In Particular, Trustworthy? – Professor Martin Törngren (KTH Royal Inst. of Technology) |
| 11:05-12:05 | SysML v2 update and demonstration – S Friedenthal, E Seidewitz, M Bajaj |
| 12:05-12:30 | Break |
| 12:30-13:15 | An Introduction to Formal Methods for Specifying Modeling Language Semantics – Elisa Kendall |
| 13:15-14:00 | Semantics of SysML v2 – Ed Seidewitz/Conrad Bock |
Generated at: 2021-01-21 00:00