Research Areas
Research Areas
 

Formal and semi-formal methods for specification and verification of software systems

Workflow and middleware to support flexible workflow engine


Embedded and real-time systems

Computational Systems biology

 

Sito in costruzione