Research interests:
Real-Time Systems Development
Methods
Formal
languages and methodologies application for embedded systems software
development
Coloured
Petri Nets applications for software systems modelling and development
Research interests:
Real-Time Systems Development
Methods
Formal
languages and methodologies application for embedded systems software
development
Coloured
Petri Nets applications for software systems modelling and development