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.

 

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

The Quantitative Linear-Time--Branching-Time Spectrum., , и . FSTTCS, том 13 из LIPIcs, стр. 103-114. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems., , , и . IFM, том 11918 из Lecture Notes in Computer Science, стр. 547-551. Springer, (2019)A Modal Interface Theory for Component-based Design., , , , , и . Fundam. Informaticae, 108 (1-2): 119-149 (2011)Component-based verification using incremental design and invariants., , , , , и . Softw. Syst. Model., 15 (2): 427-451 (2016)Towards an incremental automata-based approach for software product-line model checking., , , и . SPLC (2), стр. 74-81. ACM, (2012)GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems., , и . ERCIM News, (2015)Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL., и . ERCIM News, (2015)*-Continuous Kleene ω-Algebras., , и . DLT, том 9168 из Lecture Notes in Computer Science, стр. 240-251. Springer, (2015)Quantitative Variability Modeling and Analysis., и . VaMoS, стр. 13:1-13:2. ACM, (2019)ProVeLines: a product line of verifiers for software product lines., , , , и . SPLC Workshops, стр. 141-146. ACM, (2013)