ISO/IEC 15408に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法 von 森本, 祥一, 重松, 真二郎, 後藤, 祐一, 程, 京徳

Volltext

Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions) von GAO, YING, CHENG, JINGDE

Volltext

先行推論による予測とその論理基礎(予測技術の信頼性) von 程, 京徳

Volltext

A Security Specification Verification Technique Using Theorem Proving and Model Checking Based on the International Standard ISO/IEC 15408 von Morimoto, Shoichi, Shigematsu, Shinjiro, Goto, Yuichi, Cheng, Jingde

Volltext

基于ISO/IEC国际标准的信息安全性工程数据库群及其应用 von 宝达, 程京德

Volltext

基于CC的安全性规格形式化描述及验证方法 von 闫靖晨 程京德

Volltext

基于国际标准CC和CEM的计算机系统信息安全性评估认证支持平台 von 宝达 陈惠琳 孙文 程京德

Volltext

基于前推的密码协议形式化分析方法 von 闫靖晨 高宏彪 程京德

Volltext

잔디 교잡 품종 개발을 위한 잔디 생존률, 재생산률 및 꽃대 출현률과의 상관관계 von 한경덕(Gyung Deok Han), 정지현(Ji Hyeon Jung), 정용석(Yong Suk Chung)

Volltext

이미지 데이터와 HTML 색도표를 이용한 강낭콩(Phaseolus vulgaris L.)의 종피색 분포확인 및 그 응용방법 모색 von 이수경(Sookyeong Lee), 이채원(Chaewon Lee), 김영욱(Younguk Kim), 백정호(Jeongho BAEK), 한경덕(Gyung Deok Han), 강만정(Manjung Kang)

Volltext

실시간 헬스케어 모니터링의 독립 구동을 위한 접촉대전 발전과 전자기 발전 원리의 융합 von 조수민, Sumin Cho, 정윤수, Yoonsu Joung, 김현수, Hyeonsu Kim, 박민석, Minseok Park, 이동한, Donghan Lee, 감동익, Dongik Kam, 장순민, Sunmin Jang, 라윤상, Yoonsang Ra, 차경제, Kyoung Je Cha, 김형우, Hyung Woo Kim, 서경덕, Kyoung Duck Seo, 최동휘, Dongwhi Choi

Volltext

유방암 환자의 인지기능 측정도구 개발 von 정복례(Chung, Bok Yae), 최은희(Choi, Eun Hee), 김경덕(Kim, Gyung Duck), 김경혜(Kim, Kyung Hae), 변혜선(Byun, Hye Sun)

Volltext

유방암 환자의 수술 전 액와림프절 전이 여부 평가를 위한 영상의학적 검사의 효용성 von 김경덕(Kyeong Deok Kim), 인정진(Jeong Jin In), 장윤희(Yun Hee Jang), 김지선(Zisun Kim), 국중철(Jung Cheol Kuk), 최규성(Kyu Sung Choi), 정재홍(Jaehong Jeong), 허성모(Sung Mo Hur), 정귀애(Gui Ae Jeong), 정준철(Jun Chul Chung), 조규석(Gyu Seok Cho), 신응진(Eung Jin Shin), 김형철(Hyung Chul Kim), 임철완(Cheol Wan Lim)

Volltext

항암화학요법을 받은 유방암 환자의 인지기능 von 김경혜(Kim, Kyung Hae), 정복례(Chung, Bok Yae), 김경덕(Kim, Gyung Duck), 변혜선(Byun, Hye Sun), 최은희(Choi, Eun Hee), 조은정(Cho, Eun Jung)

Volltext

난치성 편측 흉수와 불응성 혈소판 감소증으로 나타난 흉강내 혈관내피종 1예 von 김효원, 최윤정, 홍경택, 강형진, 박경덕, 김세희, 최영훈, 김우선, 서동인

Volltext

팀바탕학습을 응용한 보충수업 운영경험 von 박경덕(Kyung Duk Park), 김보라(Bora Kim), 김태연(Taeyeon Kim), 표세라(Seara Phyo), 명선정(Sun Jung Myung)

Volltext

운동화 겉창용 BR/CIIR 고무 복합체의 마찰특성 향상에 대한 연구 von 표경덕(Kyung Duk Pyo), 최정수(Jong Su Choi), 이종년(Jong Nyun Lee), 박차철(Chal Cheol Park)

Volltext

결합조직성소원형세포암의 임상적 특성과 치료성적 von 이형진, 최정윤, 홍채리, 이지원, 강형진, 박경덕, 신희영, 안효섭

Volltext

암 치료를 받은 유방암 여성의 성기능 영향 요인 von 변혜선(Byun, Hye Sun), 정복례(Chung, Bok Yae), 김경덕(Kim, Gyung Duck), 김경혜(Kim, Kyung Hae), 최은희(Choi, Eun Hee)

Volltext

유방암 생존자와 중년여성의 갱년기 증상 및 인지기능 비교 von 김경덕(Kim, Gyung Duck), 정복례(Chung, Bok Yae), 김경혜(Kim, Kyung Hae), 변혜선(Byun, Hye Sun), 최은희(Choi, Eun Hee)

Volltext