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.

 

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

Szenariobasierte Synthese verteilter mechatronischer Systeme. Paderborn University, Germany, (2016)base-search.net (ftunivpaderb:oai:digital.ub.uni-paderborn.de:1892000).Automata-based refinement checking for real-time systems., , , и . Comput. Sci. Res. Dev., 30 (3-4): 255-283 (2015)Automata-Based Refinement Checking for Real-Time Systems., , , и . Software Engineering, том P-213 из LNI, стр. 99-112. GI, (2013)Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications., , , , и . Software Engineering & Management, том P-239 из LNI, стр. 91-92. GI, (2015)