| 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] |