You cannot see this page without javascript.

Language
한국어

Moon

  • BBS
  • Owner
    • C.V.
    • Schedule
    • Thoughts
    • Critics
    • Chef
  • CBNU
    • Teaching
    • Research
    • Public Services
    • SRE Lab
    • OMiLab Korea
    • JBNU_Critics
    • Advisor
  • BZ
    • BZEN Inc.
    • The Proto Systems
  • Tasks
  • Works
    • Poem
    • Novel
    • News/Issues
  • Interest in
    • 음악/Music
    • 언어/Language
    • 역사/History
    • 무기/Military
    • 경제/Economy
    • 정치/Politics
    • 문화/Culture
    • 교육/Education
    • 과학/Science
    • 철학/Philosophy
    • 의학/Medical
    • 문학/Literature
    • 삶/Life
    • 해학/Humor

BBS

게시판 Bulletin Board
글 수 370
  • 회원가입
  • 로그인...
  • Skin Info
  • Tag list
  • List
  • Webzine
  • Gallery

[Sept 2022] KIPS Trans. Comp. and Comm. Sys.: GTS-Visual Logic: Visual Logic and Tool for Analysis and Verification of Secure Requirements in Smart IoT Systems

moonkun
http://moon.jbnu.ac.kr/index.php?mid=m_bbs&document_srl=847077
2023.03.06 10:02:51 (*.105.240.174)
169

GTS-VISUAL LOGIC: VISUAL LOGIC AND TOOL FOR ANALYSIS AND VERIFICATION OF SECURE REQUIREMENTS IN SMART IOT SYSTEMS

p1.PNG

 

이 게시물을
  • p1.PNG (504.0KB)(0)
목록
번호
제목
글쓴이
날짜
조회 수
350 [NEMO '23] [Wed [26th July 2023] [UniVie] 8th Day file
moonkun
2023-07-24 189
349 [NEMO '23] [Tue] [25th July 2023] [UniVie] 7th Day file
moonkun
2023-07-24 240
348 [NEMO '23] [Mon] [24th July 2023] [UniVie] 6th Day file
moonkun
2023-07-24 199
347 [NEMO '23] [Fri] [21th July 2023] [UniVie] 5th Day file
moonkun
2023-07-24 147
346 [NEMO '23] [Thur] [20th July 2023] [UniVie] 4th Day file
moonkun
2023-07-24 153
345 [NEMO '23] [Wed] [19th July 2023] [UniVie] 3rd Day - Prof. Lee's Presentation file
moonkun
2023-07-24 185
344 [NEMO '23] [Tue] [18th July 2023] [UniVie] 2nd Day file
moonkun
2023-07-24 140
343 [NEMO '23] [Mon] [17th July 2023] [UniVie] Opening Day file
moonkun
2023-07-24 178
342 [14th July 2023] Korea-Austria Joint Project Meeting in The University of Vienna file
moonkun
2023-07-24 155
341 [21st June 2023] A View from the Office at the Beginning of Summer file
moonkun
2023-06-21 188
340 [19th May 2023] A View from the Office at the End of Spring 1 file
moonkun
2023-05-19 156
339 [16th May 2023] 시집 『메타-메타』 (Meta-Meta)
moonkun
2023-05-16 204
338 [14 April 2023] A Morning View from the Office w/o Yellow Dust file
moonkun
2023-04-14 169
337 [April 2023][OMiLAB Book Series] 군집행위 메타-모델링 구현 체계 3 file
moonkun
2023-04-10 181
336 [Aug 2022] ADA SRL Meta-Language 1 file
moonkun
2023-03-06 187
[Sept 2022] KIPS Trans. Comp. and Comm. Sys.: GTS-Visual Logic: Visual Logic and Tool for Analysis and Verification of Secure Requirements in Smart IoT Systems file
moonkun
2023-03-06 169
334 [April 2022] Sensors: Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS file
moonkun
2023-03-06 142
333 [Oct/Nov '22] [DeViLL] [MPC] Korea-Austria Joint Project : Kick-off Meeting at JBNU file
moonkun
2022-11-16 196
332 [NEMO '22] Day 10 (22nd July) Closing Ceremony file
moonkun
2022-11-16 159
331 [NEMO '22] Day 4 (14th July) Prof. Moonkun Lee file
moonkun
2022-11-16 158
쓰기... 목록
첫 페이지 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 끝 페이지
취소
Powered byXE