English
Magyar
Projects
Verification of UML-based models
Vezető: András Pataricza
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. The framework of the...
Virtual Research Laboratory
Vezető: Gábor Péceli
A new COPERNICUS Project 977133 (Microelectronics Virtual Laboratory for Cooperating in Research and Knowledge Transfer) VILAB has been set up to create a Virtual Laboratory for cooperation in...
Watchdog processor for PC
Vezető: István Majzik
In the recent years - especially in medical or industrial applications - the demand for dependable systems is increasing. One method of failure recognition is to make a subsystem which monitors...