( en | de | ru )

 

Disambiguation of "Susi, Angelo"

Author of the publication

copydeleteadd this publication to your clipboard
A Formal IDE for Railways: Research Challenges.

, , , and . SEFM Workshops, volume 13765 of Lecture Notes in Computer Science, page 107-115. Springer, (2022)

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.

Rudy Susilo

Tina Maria Susilo Sigit

Georg Susich

Dra en Susi

Riikka Susitaival

 

Other publications of authors with the same name

Correction to: Analysing app reviews for software engineering: a systematic literature review., , , and . Empir. Softw. Eng., 27 (2): 58 (2022)Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology., , and . SEKE, page 51-54. ACM, (2002)Agent-Oriented Modeling by Interleaving Formal and Informal Specification., , , and . AOSE, volume 2935 of Lecture Notes in Computer Science, page 36-52. Springer, (2003)Formalization and validation of a subset of the European Train Control System., , , , , , , and . ICSE (2), page 109-118. ACM, (2010)978-1-60558-719-6.From Informal Requirements to Property-Driven Formal Validation., , , and . FMICS, volume 5596 of Lecture Notes in Computer Science, page 166-181. Springer, (2008)Formalization and Validation of Safety-Critical Requirements, , , and . FMA, volume 20 of EPTCS, page 68-75. (2009)Collaborative Artificial Intelligence Needs Stronger Assurances Driven by Risks., , , , , , , and . Computer, 55 (3): 52-63 (2022)Formalizing requirements with object models and temporal constraints., , , and . Softw. Syst. Model., 10 (2): 147-160 (2011)Integrating business strategies with requirement models of legal compliance., , , , , and . Int. J. Electron. Bus., 8 (3): 260-280 (2010)Combining risk and variability modelling for requirements analysis in SAS engineering., , , and . RE, page 396-401. IEEE, (2021)