From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Finite horizon analysis of Markov automata.. Saarland University, Germany, (2017)System-Level Assertion-Based Performance Verification for Embedded Systems., , и . CSICC, том 6 из Communications in Computer and Information Science, стр. 243-250. (2008)Timing verification of distributed network systems at higher levels of abstraction., , и . HLDVT, стр. 101-107. IEEE Computer Society, (2008)