Open Access System for Information Sharing

Login Library

 

Conference
Cited 0 time in webofscience Cited 0 time in scopus
Metadata Downloads
Full metadata record
Files in This Item:
There are no files associated with this item.
DC FieldValueLanguage
dc.contributor.authorLEE, JAEHUN-
dc.contributor.authorBAE, KYUNGMIN-
dc.date.accessioned2023-02-27T05:20:50Z-
dc.date.available2023-02-27T05:20:50Z-
dc.date.created2023-02-27-
dc.date.issued2023-02-10-
dc.identifier.urihttps://oasis.postech.ac.kr/handle/2014.oak/115782-
dc.languageKorean-
dc.publisher한국정보과학회 소프트웨어공학 소사이어티-
dc.relation.isPartOf한국 소프트웨어공학 학술대회-
dc.relation.isPartOf제 25 회 한국 소프트웨어공학 학술대회 논문집-
dc.titleTLS 소프트웨어의 정형명세 및 모델검증-
dc.title.alternativeFormal Specification and Model Checking of TLS Software using Maude-
dc.typeConference-
dc.type.rimsCONF-
dc.identifier.bibliographicCitation한국 소프트웨어공학 학술대회-
dc.citation.conferenceDate2023-02-08-
dc.citation.conferencePlaceKO-
dc.citation.title한국 소프트웨어공학 학술대회-
dc.contributor.affiliatedAuthorLEE, JAEHUN-
dc.contributor.affiliatedAuthorBAE, KYUNGMIN-
dc.description.journalClass2-
dc.description.journalClass2-

qr_code

  • mendeley

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Related Researcher

Researcher

배경민BAE, KYUNGMIN
Dept of Computer Science & Enginrg
Read more

Views & Downloads

Browse