BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
Collaborated with:
R.Alur J.M.Esposito V.Kumar I.Lee
Talks about:
coordin (1) analysi (1) system (1) hybrid (1) formal (1) studi (1) robot (1) multi (1) model (1) case (1)

Person: M. Kim

DBLP DBLP: Kim:M=

Contributed to:

World Congress on Formal Methods 19991999

Wrote 1 papers:

FM-v1-1999-AlurEKKL #analysis #case study #coordination #formal method #hybrid #modelling #multi
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination (RA, JME, MK, VK, IL), pp. 212–232.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.