( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Future Train Control Systems: Challenges for Dependability Assessment.

, , и . ISoLA (4), том 13704 из Lecture Notes in Computer Science, стр. 269-285. 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.

Stefania Peluso

Stefania Richter

Stefania Castagnetti

Stefania Gori

Stefania Mendelsohn

 

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

On testing UML statecharts, , и . Journal of Logic and Algebraic Programming, 69 (1-2): 1--74 (2006)A Formal Security Analysis of an OSA/Parlay Authentication Interface., , , , , и . FMOODS, том 3535 из Lecture Notes in Computer Science, стр. 131-146. Springer, (2005)Shortest Path Problems and Tree Grammars: An Algebraic Framework., , и . Graph-Grammars and Their Application to Computer Science and Biology, том 73 из Lecture Notes in Computer Science, стр. 167-179. Springer, (1978)Smart Services for Railways., , , и . ERCIM News, (2019)Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report., , , и . VaMoS, стр. 43-50. ACM, (2018)Detecting policy conflicts by model checking UML state machines., , , и . ICFI, стр. 59-74. IOS Press, (2009)Model Checking Groupware Protocols., , , и . COOP, стр. 179-194. IOS, (2004)An Experience on Applying Process Mining Techniques to the Tuscan Port Community System., , , , , , и . SWQD, том 238 из Lecture Notes in Business Information Processing, стр. 49-60. Springer, (2016)Refinement of Behavioural Models for Variability Description., и . From Action Systems to Distributed Systems, Chapman and Hall/CRC, (2016)Applying the product lines paradigm to the quantitative analysis of collective adaptive systems., , и . SPLC, стр. 321-326. ACM, (2015)