( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards efficient analysis of variation in time and space.

, , , , , , , , и . SPLC (B), стр. 69:1-69:8. ACM, (2019)

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.

Mahsa Shirmohammadi

Dirk Mahsarski

Mahsa Najafzadeh

Mahsa Behzadi

Mahsa Vafaie KIT

 

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

Delta-Oriented FSM-Based Testing., , и . ICFEM, том 9407 из Lecture Notes in Computer Science, стр. 366-381. Springer, (2015)Discrete time Markov chain families: modeling and verification of probabilistic software product lines., и . SPLC Workshops, стр. 34-41. ACM, (2013)Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review., , и . ACM Trans. Softw. Eng. Methodol., 32 (2): 51:1-51:61 (апреля 2023)Telling Lies in Process Algebra., и . TASE, стр. 116-123. IEEE Computer Society, (2018)On the search for industry-relevant regression testing research., , , , , , , и . Empir. Softw. Eng., 24 (4): 2020-2055 (2019)Formal Specification and Testing for Reinforcement Learning., , , и . Proc. ACM Program. Lang., 7 (ICFP): 125-158 (августа 2023)Basic behavioral models for software product lines: Expressiveness and testing pre-orders., , и . Sci. Comput. Program., (2016)Basic behavioral models for software product lines: Revisited., , и . Sci. Comput. Program., (2018)Model-Based Testing for System-Level Safety of Autonomous Underwater Robots., и . ICST, стр. 486-488. IEEE, (2022)Towards efficient analysis of variation in time and space., , , , , , , , и . SPLC (B), стр. 69:1-69:8. ACM, (2019)