|
|
|
|
| Bachelorprojekt - Softwareteknologi | Project No. 0252: FM4FUN |
| Aktuelle | Tidligere |
Several projects can be offered to add functionalities to http://www.formalmethods.dk/fm4fun/, like state space navigation and model checking.
| Prerequisites:
Good understanding of the concepts of 02141 (https://kurser.dtu.dk/course/02141) |
Supervisor(s): Alberto Lluch Lafuente
| Sidst opdateret: Nov 22, 2021 af Carsten Witt |