Treffer 1 – 20 von 22 für Suche 'Margaria, Tiziana', Suchdauer: 0,10s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    First-order theories for the verification of complex FSMs

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Verification of systolic arrays in M2L(Str)

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

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Semantic extraction for the automatic verification of VHDL descriptions

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

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A pragmatic approach to software synthesis

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Module configuration by minimal model construction

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Proceedings of the 10th international workshop on Formal methods for industrial critical systems

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

    Veröffentlicht 2005
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Automatic synthesis of design plans in METAFrame

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

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Heterogeneous analysis and verification for distributed systems

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

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Distinguishing formulas for free

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    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 IV...

    Veröffentlicht 2022
    Weitere Verfasser: “… Margaria, Tiziana …”

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  11. 11
    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, Proce...

    Veröffentlicht 2022
    Weitere Verfasser: “… Margaria, Tiziana …”

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  12. 12
    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

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

    Veröffentlicht 2025
    Weitere Verfasser: “… Margaria, Tiziana …”

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  13. 13
    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

    Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, Octob...

    Veröffentlicht 2025
    Weitere Verfasser: “… Margaria, Tiziana …”

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  14. 14
    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

    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece,...

    Veröffentlicht 2025
    Weitere Verfasser: “… Margaria, Tiziana …”

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  15. 15
    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

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

    Veröffentlicht 2025
    Weitere Verfasser: “… Margaria, Tiziana …”

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


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

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

    Veröffentlicht 2025
    Weitere Verfasser: “… Margaria, Tiziana …”

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  17. 17
    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, Proce...

    Veröffentlicht 2022
    Weitere Verfasser: “… Margaria, Tiziana …”

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  18. 18
    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, Proceedi...

    Veröffentlicht 2022
    Weitere Verfasser: “… Margaria, Tiziana …”

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  19. 19
    Engineering of computer-based systems 8th international conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, proceedings

    Engineering of computer-based systems 8th international conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, proceedings

    Veröffentlicht 2024
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  20. 20
    International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004) [held in Paphos (Cyprus) October - November 2004]

    International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004) [held in Paphos (Cyprus) October - November 2004]

    Veröffentlicht 2008
    Weitere Verfasser: “… Margaria, Tiziana …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: