Browse "School of Computing(전산학부)" by Author Esposito, JM

Showing results 1 to 1 of 1

1
Using formal modeling with an automated analysis tool to design and parametrically analyze a multirobot coordination protocol: A case study

Esposito, JM; Kim, Moonzoo, IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, v.37, pp.285 - 297, 2007-05

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0