model checking
- 페이퍼요약 – 자동차 시스템의 피처 지향 요구사항 확인 by Zhou 2019.05.13
- 페이퍼요약 - UML 기반 실시간 임베디드 애플리케이션의 최고실행시간 분석 by Mraidha 2018.06.06
- 페이퍼요약 - 컨커런트 자바 프로그램에서 에러 발견 by Hughes 2018.05.16
- 영상자료 - 분산 알고리즘 검증을 위한 소프트웨어 모델 체킹 by Chaki 2018.05.09
- 페이퍼요약 - 실시간 제약이 있는 고안전 철도 인터로킹 시스템의 검증 by Hartonas-Garmhausen 2018.01.22