Kebin Zeng
Postdoc
Richard Petersens Plads, Building 322, 113
2800, kgs. Lyngby
CV
Publications
(3)- Published
Logics and Models for Stochastic Analysis Beyond Markov Chains
Publication: Research › Ph.d. thesis – Annual report year: 2013
- Published
A Probabilistic Model of the LMAC Protocol for Concurrent Wireless Sensor Networks
Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
- Published
Graphical Model Debugger Framework for Embedded Systems
Publication: Research - peer-review › Article in proceedings – Annual report year: 2010
Projects
(1)- Completed
Loading map data...
Latest activities and conferences
Loading map data...
ID: 454007