Suchergebnisse - Margaria, Tiziana

Treffer filtern
  1. 1
    Buchumschlag

    Verification of systolic arrays in M2L(Str)
    von Margaria, Tiziana

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Semantic extraction for the automatic verification of VHDL descriptions
    von Margaria, Tiziana, Griva, Maurizio, Tesio, Riccardo

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    A pragmatic approach to software synthesis
    von Freitag, Burkhard 1953-, Margaria, Tiziana

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Module configuration by minimal model construction
    von Steffen, Bernhard, Margaria, Tiziana, Freitag, Burkhard 1953-

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Automatic synthesis of design plans in METAFrame
    von Margaria, Tiziana, Steffen, Bernhard

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Heterogeneous analysis and verification for distributed systems
    von Steffen, Bernhard, Margaria, Tiziana, Claßen, Andreas

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Proceedings of the 10th international workshop on Formal methods for industrial critical systems
    von Margaria, Tiziana

    Veröffentlicht 2005
    Elektronisch E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    First-order theories for the verification of complex FSMs
    von Margaria, Tiziana

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Distinguishing formulas for free
    von Margaria, Tiziana, Steffen, Bernhard

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Leveraging applications of formal methods, verification and validation: discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings, part II

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Margaria, Tiziana 1964- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  11. 11
    Buchumschlag

    Leveraging applications of formal methods, verification and validation: discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings, part I

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Margaria, Tiziana 1964- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  12. 12
    Buchumschlag

    Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Margaria, Tiziana …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  13. 13
    Buchumschlag

    Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Margaria, Tiziana …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  14. 14
    Buchumschlag

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV

    Veröffentlicht 2025
    Weitere beteiligte Personen: “… Margaria, Tiziana …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  15. 15
    Buchumschlag

    Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I

    Veröffentlicht 2025
    Weitere beteiligte Personen: “… Margaria, Tiziana …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  16. 16
    Buchumschlag

    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II

    Veröffentlicht 2025
    Weitere beteiligte Personen: “… Margaria, Tiziana …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  17. 17
    Buchumschlag

    Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III

    Veröffentlicht 2025
    Weitere beteiligte Personen: “… Margaria, Tiziana …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  18. 18
    Buchumschlag

    Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V

    Veröffentlicht 2025
    Weitere beteiligte Personen: “… Margaria, Tiziana …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  19. 19
    Buchumschlag

    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

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Margaria, Tiziana …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  20. 20
    Buchumschlag

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Margaria, Tiziana …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: