( 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 Linguistic Quality of Natural Language Requirements., , , , и . REFSQ, стр. 57-62. Presses Universitaires de Namur, (1998)From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI., , и . Software, Services, and Systems, том 8950 из Lecture Notes in Computer Science, стр. 312-328. Springer, (2015)A clustering-based approach for discovering flaws in requirements specifications., , и . SAC, стр. 1043-1050. ACM, (2012)Automated Service Selection Using Natural Language Processing., , , , и . APRES, том 558 из Communications in Computer and Information Science, стр. 3-17. Springer, (2015)Proving Safety Properties for Embedded Control Systems., , , и . EDCC, том 1150 из Lecture Notes in Computer Science, стр. 321-332. Springer, (1996)PLUTO: A Test Methodology for Product Families., и . PFE, том 3014 из Lecture Notes in Computer Science, стр. 181-197. Springer, (2003)An Experience with the Application of Three NLP Tools for the Analysis of Natural Language Requirements., , , и . QUATIC, том 1266 из Communications in Computer and Information Science, стр. 488-498. Springer, (2020)VMC: A Tool for the Analysis of Variability in Software Product Lines., , и . ERCIM News, (2013)A behavioural model for product families., и . ESEC/SIGSOFT FSE, стр. 521-524. ACM, (2007)Experimenting with diversity in the model driven development of a railway signaling system., , , и . EFTS, стр. 5. ACM, (2007)