1 |
JADE(Java Agent Development Framework), http://jade. tilab.com
|
2 |
N. Piterman, A. Pnueli, and Y. Sa'ar, Synthesis of Reactive(1) Designs. In Pro-ceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'06), LNCS Vol.3855, pp.364-380, 2006.
|
3 |
Pnueli. A, Sa'ar, Y, Lenore D. Zuck, "Jtlv: A Framework for Developing Verification Algorithms", CAV, pp.171-174, 2010.
|
4 |
K. Ashton, "That Internet of Things' Thing", RFID Journal, 22 June, 2009.
|
5 |
TTA 용어 사전, http://word.tta.or.kr/terms/terms.jsp
|
6 |
Nick Wainwright, http://vimeo.com/31919813
|
7 |
E. M. Clarke, O. Grumberg, D. A. Peled, "Model Checking", MIT Press, 1999.
|
8 |
A. Church, Logic, arithmetic and automata. In Proc. Int. Congr. Math., pp.23-25, 1962.
|
9 |
J. R. Buchi and L. H. Landweber, Solving sequential conditions by finite-state strategies, Trans. Amer. Math. Soc., Vol.138, pp.295-311, 1969.
DOI
|
10 |
M. O. Rabin, Automata on Infinite Objects and Church's Problem, Vol.13 of Regional Conference Series in Mathematics. Amer. Math. Soc., 1972.
|
11 |
Pnueli, A., Rosner, R., On the synthesis of a reactive module. In Proc. 16th ACM Symp. Princ. of Prog. Lang., pp.179-190, 1989.
|