Fabrice Kordon

FrenchKit 2016 : An Overview of Verification Techniques Today with FABRICE KORDON 37:39
FrenchKit 2016 : An Overview of Verification Techniques Today with FABRICE KORDON Publicis Sapient Engineering 502 8 лет назад
Ouverture (de la saison 2023-2024 ) 01:02:01
Ouverture (de la saison 2023-2024 ) Fabrice Kordon 244 1 год назад
173 — How to build a static application 11:13
173 — How to build a static application Fabrice Kordon 43 5 лет назад
Teaser MOOC Programmation Concurrente 02:25
Teaser MOOC Programmation Concurrente Fabrice Kordon 309 7 лет назад
001 — About this course 18:51
001 — About this course Fabrice Kordon 1,031 6 лет назад
Results of the 11th Edition of the Model Checking Contest (june 2021) 24:38
Results of the 11th Edition of the Model Checking Contest (june 2021) Fabrice Kordon 332 3 года назад
Results of the 10th Edition of the Model Checking Contest (June 2020) 25:44
Results of the 10th Edition of the Model Checking Contest (June 2020) Fabrice Kordon 561 4 года назад
003 — What is a mobile device 09:16
003 — What is a mobile device Fabrice Kordon 139 6 лет назад
1 2 — Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design (teaser) 02:58
1 2 — Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design (teaser) Fabrice Kordon 422 3 года назад
Link Streams 04:23
Link Streams Fabrice Kordon 463 5 лет назад
011 — Xcode, creating a project 09:34
011 — Xcode, creating a project Fabrice Kordon 105 6 лет назад
3 2 — On the Combination of Polyhedral Abstraction and SMT based Model Checking for Petri nets (tea) 03:06
3 2 — On the Combination of Polyhedral Abstraction and SMT based Model Checking for Petri nets (tea) Fabrice Kordon 134 3 года назад
6 2 — Deciphering the Co car Anomaly of Circular Traffic Queues using Petri Nets (teaser) 03:00
6 2 — Deciphering the Co car Anomaly of Circular Traffic Queues using Petri Nets (teaser) Fabrice Kordon 32 3 года назад
020 — «Colors» 04:13
020 — «Colors» Fabrice Kordon 165 6 лет назад
184 — Persistent Data 11:15
184 — Persistent Data Fabrice Kordon 49 5 лет назад
002 — Using the companion site of this course 07:20
002 — Using the companion site of this course Fabrice Kordon 208 6 лет назад
2.1 — presentation — Visualizing Token Flows Using Interactive Performance Spectra 26:49
2.1 — presentation — Visualizing Token Flows Using Interactive Performance Spectra Fabrice Kordon 311 4 года назад
098 — «Photographer» 07:03
098 — «Photographer» Fabrice Kordon 99 6 лет назад
3.1 — teaser — Automated Repair of Process Models Using Non Local Constraints 02:38
3.1 — teaser — Automated Repair of Process Models Using Non Local Constraints Fabrice Kordon 60 4 года назад
021 — Introduction to the week 02:37
021 — Introduction to the week Fabrice Kordon 94 6 лет назад

Сейчас ищут