( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Learning Symbolic Timed Models from Concrete Timed Data.

, , , , , , и . NFM, том 13903 из Lecture Notes in Computer Science, стр. 104-121. Springer, (2023)

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.

Kurt Lorber

Siegrid Lorber

Helmut Lorber

Andreas Lorber

Katrin Lorber

 

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

Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking., , и . Theory and Practice of Formal Methods, том 9660 из Lecture Notes in Computer Science, стр. 15-32. Springer, (2016)Model-Based Mutation Testing of Real-Time Systems via Model Checking., , и . ICST Workshops, стр. 59-68. IEEE Computer Society, (2018)Debugging with Timed Automata Mutations., , и . SAFECOMP, том 8666 из Lecture Notes in Computer Science, стр. 49-64. Springer, (2014)Bounded Determinization of Timed Automata with Silent Transitions., , , и . FORMATS, том 9268 из Lecture Notes in Computer Science, стр. 288-304. Springer, (2015)Learning Symbolic Timed Models from Concrete Timed Data., , , , , , и . NFM, том 13903 из Lecture Notes in Computer Science, стр. 104-121. Springer, (2023)Shield Synthesis for Reinforcement Learning., , , и . ISoLA (1), том 12476 из Lecture Notes in Computer Science, стр. 290-306. Springer, (2020)20 Years of Real Real Time Model Validation., , и . FM, том 10951 из Lecture Notes in Computer Science, стр. 22-36. Springer, (2018)Require, test, and trace IT., , , , и . Int. J. Softw. Tools Technol. Transf., 19 (4): 409-426 (2017)Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems.. ICST, стр. 1-2. IEEE Computer Society, (2015)A Modeling Concept for Formal Verification of OS-Based Compositional Software., , , , и . FASE, том 13991 из Lecture Notes in Computer Science, стр. 26-46. Springer, (2023)