( en | de | ru )

 

Disambiguierung von "Gnesi, Stefania"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
1st FME workshop on formal methods in software engineering (FormaliSE 2013).

, und . ICSE, Seite 1519-1520. IEEE Computer Society, (2013)

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 Gori

Stefania Mendelsohn

 

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)An Approach to Ambiguity Analysis in Safety-Related Standards., , , , und . QUATIC, Seite 461-466. IEEE Computer Society, (2010)Statistical model checking of an energy-saving cyber-physical system in the railway domain., , und . SAC, Seite 1356-1363. ACM, (2017)Future Train Control Systems: Challenges for Dependability Assessment., , und . ISoLA (4), Volume 13704 von Lecture Notes in Computer Science, Seite 269-285. Springer, (2022)Supervisory Synthesis of Configurable Behavioural Contracts with Modalities., , , , , , und . FORTE, Volume 12719 von Lecture Notes in Computer Science, Seite 177-181. Springer, (2021)A case study on the automated verification of groupware protocols., , , , , und . ICSE, Seite 596-603. ACM, (2005)1st FME workshop on formal methods in software engineering (FormaliSE 2013)., und . ICSE, Seite 1519-1520. IEEE Computer Society, (2013)Verifying Mobile Processes in the HAL Environment., , , , und . CAV, Volume 1427 von Lecture Notes in Computer Science, Seite 511-515. Springer, (1998)An Automated Based Verification Environment for Mobile Processes., , , , , und . TACAS, Volume 1217 von Lecture Notes in Computer Science, Seite 275-289. Springer, (1997)