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.

 

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

An Algebraic Theory Of Boundary Crossing Transitions, , и . Electronic Notes in Theoretical Computer Science, (января 2005)Bisimulation Through Probabilistic Testing., и . POPL, стр. 344-352. ACM Press, (1989)Model-Based GUI Testing Using Uppaal at Novo Nordisk., , , , и . FM, том 5850 из Lecture Notes in Computer Science, стр. 814-818. Springer, (2009)To Do and Not to Do: Constrained Scenarios for Safe Smart House., , , и . Intelligent Environments, стр. 17-24. IEEE, (2015)Probabilistic Flexoffers in residential heat pumps considering uncertain weather forecast., , , и . Energy Inform., (2022)A Method for Model Checking Feature Interactions., , , и . ICSOFT-EA, стр. 219-228. SciTePress, (2015)Testing real-time embedded software using UPPAAL-TRON: an industrial case study., , , и . EMSOFT, стр. 299-306. ACM, (2005)Web of Things Interoperability for the Arrowhead Framework., , , и . IECON, стр. 1-6. IEEE, (2021)Validating Timed Component Contracts., , , , и . EUROMICRO-SEAA, стр. 245-249. IEEE Computer Society, (2015)INTrEPID: A project on energy optimization in buildings., , и . VITAE, стр. 1-4. IEEE, (2014)