Showing 1 - 12 results of 12 for search 'Gnesi, Stefania', query time: 0.04s Refine Results
  1. 1
    Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
    Published 2013
    Other Authors: “…Gnesi, Stefania…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering
    Published 2014
    Other Authors: “…Gnesi, Stefania…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 3
    Proceedings of the 6th Conference on Formal Methods in Software Engineering
    Published 2018
    Other Authors: “…Gnesi, Stefania…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 4
    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 /
    Published 2014
    Other Authors: “…Gnesi, Stefania…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /
    Published 2003
    Other Authors: “…Gnesi, Stefania…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Formal methods for industrial critical systems : a survey of applications /
    Published 2013
    Other Authors: “…Gnesi, Stefania, 1954-…”
    Full Text via HEAL-Link
    eBook
  7. 7
    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 /
    Published 2016
    Other Authors: “…Gnesi, Stefania…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /
    Published 2016
    Other Authors: “…Gnesi, Stefania…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
    Published 2012
    Other Authors: “…Gnesi, Stefania…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2
    Published 2014
    Other Authors: “…Gnesi, Stefania…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  11. 11
    Proceedings of the 18th International Software Product Line Conference - Volume 1
    Published 2014
    Other Authors: “…Gnesi, Stefania…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  12. 12
    Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
    Published 2012
    Other Authors: “…Gnesi, Stefania…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search