최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기한국IT서비스학회지 = Journal of Information Technology Services, v.6 no.2, 2007년, pp.153 - 160
신석규 (한국정보통신기술협회 SW시험인증센터) , 이상수 (한국정보통신기술협회 SW시험인증센터) , 양해술 (호서대학교 벤처전문대학원)
Middleware for mobile devices, embedded middleware, is used for mobile devices, cellular phone and DMB related services. It is essential for middleware providers to provide high quality middleware in conformity with its standard and interoperability on hardware platforms. The standard conformance an...
* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.
Clarke, E. M., Emerson, E. A. and A. P. Sistla, "Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specification", ACM Transactions on Programming Languages and Systems, Vol.8, No.2(1986)
Gordon, M. J. C., "HOL : aproof generating system for higher-order logic", VLSI Specification, Verification and Synthsis, 1988, pp.73-128
Kurshan, R. P., "Reducibility in analysis of coordination", LNCS, volume Vol.103, 1987, pp.19-39
Burch, J., Clarke, E., Dill, D., Hwang, L. and K. McMillan, "Symbolic model checking : 10^{20} states and beyond", Proceedings of the 5th IEEE Symposium on Logic in Computer Science, 1990
Ben-Abdallah, H., Clarke, D., Lee, I. and O. Sokolsky, "PARAGON : A Paradigm for the Specification, Verification, and Testing of Real-Time Systems", IEEE Aerospace Conference, Vol.2, 1997, pp.469- 488
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.