Activities: | System modeling, analysis and prototyping, |
Expertise: | Modelling, timing analysis |
Needs: | formal verification |
Comments: | [Comments] |
Uploads: | [restricted] [your uploads] [/restricted] |
Name: | [restricted]Lionel Havet[/restricted] |
Organisation: | [restricted]RTaW[/restricted] |
Email: | [restricted] lionel.havet@realtimeatwork.com[/restricted] |