( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Managing requirements uncertainty with partial models.

, , , и . Requir. Eng., 18 (2): 107-128 (2013)

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

 

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

Formal reasoning for analyzing goal models that evolve over time., и . Requir. Eng., 26 (3): 423-457 (2021)Guest Editorial: Special Issue on Model Checking in Requirements Engineering., и . Requir. Eng., 7 (4): 221-224 (2002)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)Querying Automotive System Models and Safety Artifacts with MMINT and Viatra., , , и . MoDELS (Companion), стр. 2-11. IEEE, (2019)Reconstructing the past: the case of the Spadina Expressway., и . Requir. Eng., 25 (2): 253-272 (2020)Selected Extended Papers of VSTTE 2016., и . J. Autom. Reason., 60 (3): 255-256 (2018)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)