347 |
[NEMO '22] Day 9 (21th July, Thur)
4
|
moonkun |
2022-07-18 |
40 |
346 |
[Jan 2024] Remodeling OMiLAB Korea Laboratory for Final New Age.
1
|
moonkun |
2024-01-29 |
42 |
345 |
[NEMO '22] Day 6 (18th July, Mon)
5
|
moonkun |
2022-07-18 |
44 |
344 |
[April 2022] Sensors: Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS
|
moonkun |
2023-03-06 |
44 |
343 |
[NEMO '23] [Wed [26th July 2023] [UniVie] 8th Day
|
moonkun |
2023-07-24 |
44 |
342 |
[NEMO '23] [Tue] [18th July 2023] [UniVie] 2nd Day
|
moonkun |
2023-07-24 |
46 |
341 |
[NEMO '23] [Fri] [21th July 2023] [UniVie] 5th Day
|
moonkun |
2023-07-24 |
47 |
340 |
[March 2024] Korea-Austria Joint Project: DeViLL
4
|
moonkun |
2024-03-21 |
47 |
339 |
[NEMO '22] Day 7 (19th July, Tue)
4
|
moonkun |
2022-07-18 |
48 |
338 |
[14th July 2023] Korea-Austria Joint Project Meeting in The University of Vienna
|
moonkun |
2023-07-24 |
48 |
337 |
[NEMO '22] Day 4 (14th July) Prof. Moonkun Lee
|
moonkun |
2022-11-16 |
49 |
336 |
[NEMO '22] Day 5 (15th July, Fri)
6
|
moonkun |
2022-07-14 |
50 |
335 |
[NEMO '22] Day 10 (22th July, Fri)
10
|
moonkun |
2022-07-18 |
50 |
334 |
[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 |
2023-03-06 |
50 |
333 |
[NEMO '22] Day 2 (12th July, Tue)
6
|
moonkun |
2022-07-12 |
51 |
332 |
[NEMO'22] Day 1 (11th July. Mon)
5
|
moonkun |
2022-07-11 |
52 |
331 |
[NEMO '23] [Thur] [20th July 2023] [UniVie] 4th Day
|
moonkun |
2023-07-24 |
53 |
330 |
[NEMO '23] [Thur] [27th July 2023] [UniVie] 9th Day
|
moonkun |
2023-07-24 |
54 |
329 |
[Jan 2024] Sensors: Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT Systems in Digital Twin
|
moonkun |
2024-01-25 |
55 |
328 |
[NEMO '22] Day 4 (14th July, Thur)
6
|
moonkun |
2022-07-14 |
56 |
http://www.iaras.org/iaras/journals/ijc
http://www.iaras.org/iaras/journals/cijc/dt-calculus-a-process-algebra-to-model-timed-movements-of-processes