A Tele-command verification of KOMPSAT-II using Rule-based & Case-based reasoning
2014 ◽
Vol 945-949
◽
pp. 1707-1712
Keyword(s):
2007 ◽
Vol 7
(1)
◽
Keyword(s):
2004 ◽
Vol 13
(5)
◽
pp. 665-678
◽
Keyword(s):
Keyword(s):