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.

 

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

Minimum/maximum delay testing of product lines with unbounded parametric real-time constraints., , , , и . J. Syst. Softw., (2019)Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata., , и . FACS, том 12018 из Lecture Notes in Computer Science, стр. 147-169. Springer, (2019)Architektur-Evaluation von AUTOSAR-Systemen: Adaption und Integration, , , , и . Elektronik automotive congress, стр. 77-98. Elektronik automotive, (2009)Optimierung von AUTOSAR-Systemen durch automatisierte Architektur-Evaluation, , , , и . 14. Internationale Konferenz Elektronik im Kraftfahrzeug, VDI-Berichte 2075, стр. 827-838. VDI Verlag GmbH, (2009)Precomputing reconfiguration strategies based on stochastic timed game automata., , , , , и . MoDELS, стр. 31-42. ACM, (2022)Modal transition system encoding of featured transition systems., , , , и . J. Log. Algebraic Methods Program., (2019)From Imprecise N-Way Model Matching to Precise N-Way Model Merging., , и . J. Object Technol., 18 (2): 8:1-20 (2019)SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-Based Analysis of Variant-Rich Software., , , и . ASE, стр. 1134-1137. IEEE, (2019)Addressed Challenges, , , , , , , , и . Managed Software Evolution, (2019)Compositional testing of management conformance for multi-component enterprise applications., , , , и . Serv. Oriented Comput. Appl., 16 (3): 209-225 (2022)