ValentinBesnard

Pinned Repositories

dash.js
A reference client implementation for the playback of MPEG DASH via Javascript and compliant browsers.
Language:JavaScript5.1k 251 2.2k1.7k
gemoc-studio
gemoc-studio
Language:PostScript24 13 14521
gemoc-studio-modeldebugging
gemoc-studio-modeldebugging
Language:Java6 11 9315
plug-obp.github.io
Pages for plug-obp
Language:Coq00
plug-packaging
Packaging for plug
Language:Shell0 3 00
plug-remote-c
Language:C00
emi-deployment
Modular Deployment of UML Models on Embedded Targets
Language:C00
emi-verifying-and-monitoring-uml-models
Language:Lean1 2 00
gemoc-studio
gemoc-studio
Language:Java00
mdetools19-emi
Solution to the MDETools'19 Challenge Problem using EMI
Language:C00

ValentinBesnard's Repositories

ValentinBesnard/emi-verifying-and-monitoring-uml-models
Language:Lean1 2 00
ValentinBesnard/emi-deployment
Modular Deployment of UML Models on Embedded Targets
Language:C00
ValentinBesnard/gemoc-studio
gemoc-studio
Language:Java00
ValentinBesnard/mdetools19-emi
Solution to the MDETools'19 Challenge Problem using EMI
Language:C00