( en | de | ru )

 

Disambiguierung von "Gnesi, Stefania"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain.

, , , , , , und . REFSQ, Volume 10153 von Lecture Notes in Computer Science, Seite 344-360. Springer, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Stefania Peluso

Stefania Richter

Stefania Castagnetti

Stefania Mendelsohn

Stefania Strassberg

 

Weitere Publikationen von Autoren mit dem selben Namen

A Deontic Logical Framework for Modelling Product Families., , , und . VaMoS, Volume 37 von ICB-Research Report, Seite 37-44. Universität Duisburg-Essen, (2010)Refinement of Behavioural Models for Variability Description., und . From Action Systems to Distributed Systems, Chapman and Hall/CRC, (2016)Shortest Path Problems and Tree Grammars: An Algebraic Framework., , und . Graph-Grammars and Their Application to Computer Science and Biology, Volume 73 von Lecture Notes in Computer Science, Seite 167-179. Springer, (1978)A Formal Security Analysis of an OSA/Parlay Authentication Interface., , , , , und . FMOODS, Volume 3535 von Lecture Notes in Computer Science, Seite 131-146. Springer, (2005)Smart Services for Railways., , , und . ERCIM News, (2019)Detecting policy conflicts by model checking UML state machines., , , und . ICFI, Seite 59-74. IOS Press, (2009)Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report., , , und . VaMoS, Seite 43-50. ACM, (2018)Future Train Control Systems: Challenges for Dependability Assessment., , und . ISoLA (4), Volume 13704 von Lecture Notes in Computer Science, Seite 269-285. Springer, (2022)Statistical model checking of an energy-saving cyber-physical system in the railway domain., , und . SAC, Seite 1356-1363. ACM, (2017)An Approach to Ambiguity Analysis in Safety-Related Standards., , , , und . QUATIC, Seite 461-466. IEEE Computer Society, (2010)