Treffer 1 - 17 von 17 für Suche 'Gnesi, Stefania', Suchdauer: 0,26s Treffer weiter einschränken
  1. 1
    2012 formal methods in software engineering: rigorous and agile approaches (FormSERA 2012) : Zurich, Switzerland, 2 June 2012 ; [part of the 34th International Conference on Software Engineering (ICSE)]
    Veröffentlicht 2012
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Formal methods for industrial critical systems : a survey of applications
    Veröffentlicht 2013
    Volltext
    Volltext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Formal methods for industrial critical systems : a survey of applications
    Veröffentlicht 2013
    Inhaltsverzeichnis
    Verlagsangaben
    Autorenbiografie
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Future Train Control Systems: Challenges for Dependability Assessment
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE 2013) : San Francisco, California, USA, 25 May 2013 ; [co-located with ICSE 2013, the 35th International Conference on Software Engineering]
    Veröffentlicht 2013
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Formal Methods for Distributed Computing in Future Railway Systems
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Formal Methods for Distributed Control Systems of Future Railways
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    An Experience with the Application of Three NLP Tools for the Analysis of Natural Language Requirements
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    From software engineering to formal methods and tools, and back : essays dedicated to Stefania Gnesi on the occasion of her 65th birthday
    Veröffentlicht 2019
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Fundamental approaches to software engineering : 17th international conference, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 ; proceedings
    Veröffentlicht 2014
    Inhaltsverzeichnis
    Verlagsangaben
    Inhaltstext
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    FM 2016: formal Methods : 21th international symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings
    Veröffentlicht 2016
    Inhaltsverzeichnis
    Full Text
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Critical systems: formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings
    Veröffentlicht 2016
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Supervisory Synthesis of Configurable Behavioural Contracts with Modalities
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Veröffentlicht 2000
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Veröffentlicht 1997
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: