Fabrice Kordon

001 — About this course 18:51
001 — About this course Fabrice Kordon 1,041 6 лет назад
2.6 — tool demo — MCC, a Tool for Unfolding Colored Petri Nets in PNML Format 09:54
2.6 — tool demo — MCC, a Tool for Unfolding Colored Petri Nets in PNML Format Fabrice Kordon 152 4 года назад
003 — What is a mobile device 09:16
003 — What is a mobile device Fabrice Kordon 141 6 лет назад
124b — «iDraw» 09:31
124b — «iDraw» Fabrice Kordon 38 6 лет назад
4 4 — Discovering Stochastic Process Models By Reduction and Abstraction (full presentation) 14:07
4 4 — Discovering Stochastic Process Models By Reduction and Abstraction (full presentation) Fabrice Kordon 73 3 года назад
6 2 — Deciphering the Co car Anomaly of Circular Traffic Queues using Petri Nets (full presentation) 21:09
6 2 — Deciphering the Co car Anomaly of Circular Traffic Queues using Petri Nets (full presentation) Fabrice Kordon 53 3 года назад
168 — «MyMood» 04:43
168 — «MyMood» Fabrice Kordon 73 6 лет назад
149 — Handling settings 12:25
149 — Handling settings Fabrice Kordon 51 6 лет назад
089 — Introduction to the week 03:21
089 — Introduction to the week Fabrice Kordon 46 6 лет назад
118 — «Accelerometer» 09:31
118 — «Accelerometer» Fabrice Kordon 88 6 лет назад
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 508 8 лет назад
002 — Using the companion site of this course 07:20
002 — Using the companion site of this course Fabrice Kordon 211 6 лет назад
159 — A bit about extensions 12:16
159 — A bit about extensions Fabrice Kordon 37 6 лет назад
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 563 4 года назад
081 — «iSelect» 08:51
081 — «iSelect» Fabrice Kordon 96 6 лет назад
130 — AVAudioPlayer 08:56
130 — AVAudioPlayer Fabrice Kordon 39 6 лет назад
156 — In App authentication 07:32
156 — In App authentication Fabrice Kordon 30 6 лет назад
128 — «SysInfo» 07:32
128 — «SysInfo» Fabrice Kordon 46 6 лет назад
162 «WatchMe» 16:34
162 «WatchMe» Fabrice Kordon 23 7 лет назад
095 — Maps & 3D 11:23
095 — Maps & 3D Fabrice Kordon 86 6 лет назад

Сейчас ищут