Showing 1 - 9 results of 9 for search 'ISoLA Rhodos', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Leveraging applications of formal methods, verification and validation practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings, part IV

    Leveraging applications of formal methods, verification and validation practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings, part...

    Published 2022
    “…ISoLA Rhodos…”

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  2. 2
    Leveraging applications of formal methods, verification and validation verification principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings, part I

    Leveraging applications of formal methods, verification and validation verification principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : pro...

    Published 2022
    “…ISoLA Rhodos…”

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  3. 3
    Leveraging applications of formal methods, verification and validation software engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings, part II

    Leveraging applications of formal methods, verification and validation software engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : procee...

    Published 2023
    “…ISoLA Rhodos…”

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  4. 4
    Leveraging applications of formal methods, verification and validation adaptation and learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings, part III

    Leveraging applications of formal methods, verification and validation adaptation and learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : pro...

    Published 2022
    “…ISoLA Rhodos…”

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  5. 5
    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings

    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, Octobe...

    Published 2022
    “…ISoLA Rhodos…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings

    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, Octobe...

    Published 2022
    “…ISoLA Rhodos…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings

    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, Octobe...

    Published 2022
    “…ISoLA Rhodos…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings

    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, Octobe...

    Published 2022
    “…ISoLA Rhodos…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings

    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, Octobe...

    Published 2022
    “…ISoLA Rhodos…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:

Search Tools: