Вы здесь
Kim M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Interoperability Testing Based on a Fault Nodel for a System of Communicating FSMs | 2003 | Trenkaev V., Kim M., Seol S. | Lecture Notes in Computer Science | 07.06.2003 | |||
| СТ | Verisim: Formal Analysis of Network Simulations | 2000 | Bhargavan K., Gunter C. A., Kim M., Lee I., Obradovic D., Sokolovsky O., Viswanathan M. | Software Engineering Notes | 14.12.2000 | |||
| СТ | Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination | 1999 | Alur R., Esposito J., Kim M., Kumar V., Lee I. | Lecture Notes in Computer Science | 30.10.1999 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Automated Technology for Verification and Analysis: Proc./6th International Symposium, ATVA 2008. Seoul, Korea, October 2008 | 2008 | Lecture Notes in Computer Science |
|
03.03.2009 | |||
| СБ | Ubiquitous Computing Systems: Proc./Third International Symposium, UCS 2006. Seoul, Korea, October 2006 | 2006 | Lecture Notes in Computer Science |
|
11.01.2007 |