Search Results - Cerone, Antonio

  • Showing 1 – 15 results of 15
Filter by
  1. 1
    Cover Image

    Time based expressivity of timed Petri nets
    by Cerone, Antonio, Maggiolo-Schettini, Andrea

    Published 1995
    Table of Contents
    Book


    Saved in:
  2. 2
    Cover Image

    Formal Methods for Software Engineering: Languages, Methods, Application Domains
    by Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger, Schneider, Gerardo, Shaikh, Siraj Ahmed

    Published 2022
    Read online (LMU)

    Available at the library of LMU.

    Read online (HM)

    Available at the library of Hochschule Munich University of Applied Sciences (HM).

    Order via interlibrary loan
    Electronic eBook


    Saved in:
  3. 3
    Cover Image

    Formal methods for software engineering: Languages, methods, application domains
    by Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger 1959-, Schneider, Gerardo, Shaikh, Siraj Ahmed

    Published 2022
    Order via interlibrary loan
    Book


    Saved in:
  4. 4
    Cover Image

    Theoretical aspects of computing 8th international colloquium ; proceedings: ICTAC 2011, Johannesburg, South Africa, August 31 - September 2, 2011

    Published 2011
    Other Authors: “…Cerone, Antonio…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  5. 5
    Cover Image

    Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures

    Published 2023
    Other Authors: “…Cerone, Antonio…”
    Read online
    Electronic eBook


    Saved in:
  6. 6
    Cover Image

    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: “…Cerone, Antonio…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  7. 7
    Cover Image

    Theoretical aspects of computing - ICTAC 2021: 18th International Colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8-10, 2021 : proceedings

    Published 2021
    Other Authors: “…Cerone, Antonio…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  8. 8
    Cover Image

    Software engineering and formal methods: 18th international conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, proceedings

    Published 2020
    Other Authors: “…Cerone, Antonio…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  9. 9
    Cover Image

    Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers

    Published 2022
    Other Authors: “…Cerone, Antonio…”
    Read online
    Electronic eBook


    Saved in:
  10. 10
    Cover Image

    Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers

    Published 2021
    Other Authors: “…Cerone, Antonio…”
    Read online (LMU)

    Available at the library of LMU.

    Read online (HM)

    Available at the library of Hochschule Munich University of Applied Sciences (HM).

    Order via interlibrary loan
    Electronic eBook


    Saved in:
  11. 11
    Cover Image

    Software engineering and formal methods: SEFM 2021 collocated workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, virtual event, December 6-10, 2021 : revised selected papers

    Published 2022
    Other Authors: “…Cerone, Antonio…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:
  12. 12
    Cover Image

    Theoretical aspects of computing (ICTAC 2011): [... the International Colloquium on Theoretical Aspects of Computing ... held from 31 August to 2 September 2011 ... Johannesburg, South Africa]

    Published 2014
    Other Authors: “…Cerone, Antonio…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:
  13. 13
    Cover Image

    Formal methods for an informal world: ICTAC 2021 summer school, virtual event, Astana, Kazakhstan, September 1-7, 2021, tutorial lectures

    Published 2023
    Other Authors: “…Cerone, Antonio…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:
  14. 14
    Cover Image

    Software engineering and formal methods: SEFM 2017 collocated workshops: DataMod, FACS, MSE, CoSIM_CPS, and FOCLASA, Trento, Italy, September 4-5, 2017 : revised selected papers

    Published 2018
    Other Authors: “…Cerone, Antonio…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:
  15. 15
    Cover Image

    Theoretical aspects of computing - ICTAC 2021: 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021 : proceedings

    Published 2021
    Other Authors: “…Cerone, Antonio…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:

Search Tools: