Name: 10th European STAMP Workshop and Conference 2022
Start: 2022-09-29T08:00:00+02:00
End: 2022-09-30T20:00:00+02:00
Location: No location set

Go to the event menu
Go to content
Settings, my profile
Go to the event search engine on the MOST Wiedzy portal Closes the event page
Go to the declaration of availability Closes the event page

Conference 10th European STAMP Workshop and Conference 2022

29-30 September 2022

Europe/Warsaw timezone

Contact

eswc2022@umg.edu.pl

Formal verification of STPA with model checking

29 Sep 2022, 10:30

20m

Various systemic approaches

Gihwon Kwon (Kyonggi University) Ryeonggu Kwon

Ryeonggu Kwon

There are no materials yet.

Conference 10th European STAMP Workshop and Conference 2022

Contact

Formal verification of STPA with model checking

Speakers

Co-author

Presentation materials

10th European STAMP Workshop and Conference 2022 - Conference - BRIDGE of Knowledge

Conference 10th European STAMP Workshop and Conference 2022

Date of the event

Contact

Page content -Contribution List

Speakers

Co-author

Presentation materials