( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Modeling and Reasoning with Changing Intentions: An Experiment.

, и . RE, стр. 164-173. IEEE Computer Society, (2017)

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.

Marsha Schade

 

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

Model-Checking over Multi-valued Logics., , и . FME, том 2021 из Lecture Notes in Computer Science, стр. 72-98. Springer, (2001)Efficient Multiple-Valued Model-Checking Using Lattice Representations., , , , и . CONCUR, том 2154 из Lecture Notes in Computer Science, стр. 441-455. Springer, (2001)Guest Editorial: Special Issue on Model Checking in Requirements Engineering., и . Requir. Eng., 7 (4): 221-224 (2002)Selected Extended Papers of VSTTE 2016., и . J. Autom. Reason., 60 (3): 255-256 (2018)Querying Automotive System Models and Safety Artifacts with MMINT and Viatra., , , и . MoDELS (Companion), стр. 2-11. IEEE, (2019)If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components., , , , , и . ICSE, стр. 1145-1156. ACM, (2022)Matching and Merging of Statecharts Specifications., , , , и . ICSE, стр. 54-64. IEEE Computer Society, (2007)\chiChek: A Model Checker for Multi-Valued Reasoning., , , , , , , и . ICSE, стр. 804-805. IEEE Computer Society, (2003)2nd International Workshop on Living with Inconsistency., и . ICSE, стр. 749-750. IEEE Computer Society, (2001)Guest editorial: selected areas in automated software engineering., и . Autom. Softw. Eng., 25 (1): 45-46 (2018)