Zobrazeno 1 - 5
of 5
pro vyhledávání: '"陈拓宇"'
Publikováno v:
Journal of Clinical Neurosurgery / Linchuang Shenjingwaike Zazhi; Oct2022, Vol. 19 Issue 5, p484-487, 4p
Autor:
To-Yu Chen, 陳拓宇
100
This research utilized blog as a tool to explore the impact of web-based learning portfolios on knowledge management. The participants were 88 students who major in Multimedia and Games Science Department from one Technology University in Ta
This research utilized blog as a tool to explore the impact of web-based learning portfolios on knowledge management. The participants were 88 students who major in Multimedia and Games Science Department from one Technology University in Ta
Externí odkaz:
http://ndltd.ncl.edu.tw/handle/88610986570797332196
Autor:
To-Yu Chen, 陳拓宇
96
Model checking is a formal verification method that automatically checks whether a system satisfies its property or not. The system behavior can be modeled by a system state graph, and the model checker will explore the entire system state gr
Model checking is a formal verification method that automatically checks whether a system satisfies its property or not. The system behavior can be modeled by a system state graph, and the model checker will explore the entire system state gr
Externí odkaz:
http://ndltd.ncl.edu.tw/handle/84627983093240720884