PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)
Date | Time |
---|---|
July 11, 2022 (Monday) | 09:30 AM - 04:30 PM |
July 25, 2022 (Monday) | 09:30 AM - 04:30 PM |
August 8, 2022 (Monday) | 09:30 AM - 04:30 PM |
August 22, 2022 (Monday) | 09:30 AM - 04:30 PM |
September 5, 2022 (Monday) | 09:30 AM - 04:30 PM |
September 19, 2022 (Monday) | 09:30 AM - 04:30 PM |
October 3, 2022 (Monday) | 09:30 AM - 04:30 PM |