apr:journees:ete2019
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
apr:journees:ete2019 [2019/07/01 16:50] mine |
apr:journees:ete2019 [2019/07/06 08:32] mine |
||
|---|---|---|---|
| Line 23: | Line 23: | ||
| * 16:15–16:45 : **Steven Varoumas.** WCET of OCaml bytecode on microcontrollers: an automated method and its formalisation. | * 16:15–16:45 : **Steven Varoumas.** WCET of OCaml bytecode on microcontrollers: an automated method and its formalisation. | ||
| - | * 16:45–17:20 : **Abdelraouf Ouadjaout.** Design of a Modular Platform for Static Analysis. | + | * 16:45–17:20 : **Abdelraouf Ouadjaout.** Design of a Modular Platform for Static Analysis. {{:apr:journees:ouadjaout-apr19-slides.pdf|[slides]}} |
| * 17:20–17:30 : Clôture. | * 17:20–17:30 : Clôture. | ||
apr/journees/ete2019.txt · Last modified: 2019/07/10 14:26 by mine
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
