메뉴 건너뛰기




Volumn , Issue , 2004, Pages 406-415

Formal verification of requirements using SPIN: A case study on web services

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED VERIFICATION; FORMAL TROPOS (FT); LINEAR TEMPORAL LOGIC (LTL); LINEAR TIME LOGICS;

EID: 16244368799     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2004.1347546     Document Type: Conference Paper
Times cited : (31)

References (15)


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.