Yazar
Oleg Sokolsky
7 cilt bulundu.
Cilt sonuçları
Runtime Verification
Oleg Sokolsky · Springer
213 sayfa · 2007
Logic design / Computer science / Software engineering / Information networks / Computer software, verification
Emerging Directions in Embedded and Ubiquitous Computing : EUC 2006 Workshops
Xiaobo Zhou, Oleg Sokolsky, Lu Yan, Eun-Sun Jung, Zili Shao · Springer London, Limited
1034 sayfa · 2006
Embedded computer systems / Ubiquitous computing