Author of the publication

Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems.

, , , , , , and . RE, page 308-318. IEEE, (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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Handling non-canonical software requirements based on Annotated Predicate Calculus., , , and . Knowl. Inf. Syst., 11 (1): 85-104 (2007)Revisiting the Meaning of Requirements.. J. Comput. Sci. Technol., 21 (1): 32-40 (2006)Preface., , and . J. Systems Science & Complexity, 21 (4): 485-486 (2008)A Priority-Based Negotiations Approach for Handling Inconsistencies in Multi-Perspective Software Requirements., , and . J. Systems Science & Complexity, 21 (4): 574-596 (2008)The structure and semantics of an object-oriented logic programming language: SCKE.. J. Comput. Sci. Technol., 10 (1): 74-84 (1995)Preface., , , , and . J. Comput. Sci. Technol., 34 (5): 939-941 (2019)Feature-oriented stigmergy-based collaborative requirements modeling: an exploratory approach for requirements elicitation and evolution based on web-enabled collective intelligence., , , and . Sci. China Inf. Sci., 56 (8): 1-18 (2013)Petri net based test case generation for evolved specification., , , , and . Sci. China Inf. Sci., 59 (8): 080105:1-080105:25 (2016)An Approach to Generating Proposals for Handling Inconsistent Software Requirements., , and . KSEM, volume 7091 of Lecture Notes in Computer Science, page 32-43. Springer, (2011)An experiment for showing some kind of artificial understanding., and . Expert Syst. J. Knowl. Eng., 20 (2): 100-107 (2003)