Index of: /saimc/

File Name  ↓ File Size  ↓ Date  ↓ 
--
-2016-Jun-08 22:35
8.7 KiB2016-Jun-08 22:35

saimc:: sa-imc

개발자:

Project Description:

Situation-aware application 을 Incremental Model Checking 기법을 사용하여 검증하닌 툴을 개발한다.