Parametric Verification Session 1: Decidability Results for Parametric Timed Automata 🔍
Join us for the first session on parametric verification, exploring key decidability results for parametric timed automata. Stay connected via our website and social media!
Sorbonne Paris Nord - Colloques et conférences
4 views • Jun 13, 2025
About this video
Retrouvez-nous sur notre site http://www.sorbonne-paris-nord.fr
Instagram : http://instagram.com/univ_spn
LinkedIn : https://www.linkedin.com/school/universit%C3%A9-sorbonne-paris-nord
Facebook : http://www.facebook.com/univsorbonneparisnord
X : http://www.twitter.com/univ_spn
Instagram : http://instagram.com/univ_spn
LinkedIn : https://www.linkedin.com/school/universit%C3%A9-sorbonne-paris-nord
Facebook : http://www.facebook.com/univsorbonneparisnord
X : http://www.twitter.com/univ_spn
Tags and Topics
Browse our collection to discover more content in these categories.
Video Information
Views
4
Duration
10:47
Published
Jun 13, 2025
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.