Modelling, Verification, Performance Analysis, Refinement, Synthesis and Machine Learning for Cyber Physical Systems (2024)
Aalborg University TBA AalborgWelcome to Modelling, Verification, Performance Analysis, Refinement, Synthesis and Machine Learning for Cyber Physical Systems Organizer: Kim Guldstrand Larsen Lecturers: Kim Guldstrand Larsen, Marius Mikucionis, Peter Gjøl Jensen, Ulrik Nyman ECTS: 3 Date/Time: 2, […]