Showing 1 - 3 results of 3 for search 'Roveri, Marco', query time: 0.02s Refine Results
  1. 1
    Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
    by Kowalewski, Stefan
    Published 2010
    Other Authors: “…Roveri, Marco…”
    Get full text
    Electronic Kit Book
  2. 2
    Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers /
    Published 2018
    Other Authors: “…Roveri, Marco…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
    Published 2010
    Other Authors: “…Roveri, Marco…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search