Index of: /saimc/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
release/-2016-Jun-08 22:35
saimc-moni-wiki-data.tar.bz2 89552016-Jun-08 22:35

saimc:: sa-imc

개발자:

Project Description:

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