|
|
|
|
| Bachelorprojekt - Softwareteknologi | Project No. 0192: Formal Modelling and Analysis |
| Aktuelle | Tidligere |
Several projects on formal modelling and analysis of distributed/concurrent systems and their properties (safety, security, performance) can be offered, in particular related to the topics covered in 02141 and 02246.
| Prerequisites: | Familiarity with the concepts of 02141 |
Supervisor(s) Alberto Lluch Lafuente
| Sidst opdateret: Nov 18, 2016 af Hans Henrik Løvengreen |