Au cours de mon stage ou travail d'étude de master 1, j'ai appris à utiliser le language Heptagon-BZR auprès des chercheurs de l'équipe CTRL-A de l'institut national de recherche en informatique et en automatique. J'ai produit quelques exemples de code inpirés de situations réels de vie courante comme l'aiguillage de train, la monté et descente de l'asenceur, etc...
-
Notifications
You must be signed in to change notification settings - Fork 0
seydou-coulibaly/discret_controller_synthesis
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Master 1 student work project during spring 2016 on the theme of programming and compilation languages
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published