Due to the critical applications of information and communication technologies (ICT), the dependability and security measures of these technologies and their applications should be evaluated using rigorous engineering methodologies. In TwCL research laboratory (back PDEL, established on April 2008), we conduct researches on theories, techniques and tools for design, modeling, verification and evaluation of trustworthy computer and communication technologies.

Research areas of TwCL are as follows:

Home    |    People    |    Projects    |    Publications    |    Contact

Copyright TwCL, 2008-2014