|BUTE VIK Department of Measurement and Information Systems||Printable version|
|DMIS homepage - Research - Projects - Verification of UML-based models|
Automated verification and validation of UML-based models of information systems
1999 - 2001
Local supervisor: Pataricza András
The main objective of the proposed research is the development of a methodology for the automatic validation and verification of dependable systems described by means of UML.
Further information about the project: