Treffer 1 – 9 von 9 für Suche 'Mousavi, Mohammad Reza 1978-', Suchdauer: 0,07s 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
    Modeling and analysis of communicating systems

    Modeling and analysis of communicating systems von Groote, Jan Friso, Mousavi, Mohammad Reza 1978-

    Veröffentlicht 2014
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Modeling and analysis of communicating systems

    Modeling and analysis of communicating systems von Groote, Jan Friso 1965-, Mousavi, Mohammad Reza 1978-

    Veröffentlicht 2014
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Formal techniques for distributed objects, components, and systems 42nd IFIP WG 6.1 International Conference, FORTE 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, proceedings

    Formal techniques for distributed objects, components, and systems 42nd IFIP WG 6.1 International Conference, FORTE 2022, held as part of the 17th International Federated Conferenc...

    Veröffentlicht 2022
    Weitere Verfasser: “… Mousavi, Mohammad Reza 1978- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Formal methods: foundations and applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018 : proceedings

    Formal methods: foundations and applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018 : proceedings

    Veröffentlicht 2018
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Topics in theoretical computer science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings

    Topics in theoretical computer science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings

    Veröffentlicht 2017
    Weitere Verfasser: “… Mousavi, Mohammad Reza 1978- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Topics in theoretical computer science Second IFIP WG 1.8 international conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings

    Topics in theoretical computer science Second IFIP WG 1.8 international conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings

    Veröffentlicht 2017
    Weitere Verfasser: “… Mousavi, Mohammad Reza 1978- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Formal techniques for distributed objects, components, and systems 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022 : proceedings

    Formal techniques for distributed objects, components, and systems 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conferenc...

    Veröffentlicht 2022
    Weitere Verfasser: “… Mousavi, Mohammad Reza 1978- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Cyber physical systems design, modeling, and evaluation ; 5th international workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 ; proceedings

    Cyber physical systems design, modeling, and evaluation ; 5th international workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 ; proceedings

    Veröffentlicht 2015
    Weitere Verfasser: “… Mousavi, Mohammad Reza 1978- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Special section: Selected papers from the Software Verification and Testing (SVT 2013) track at the 28th ACM Symposium on Applied Computing (ACM SAC 2013)

    Special section: Selected papers from the Software Verification and Testing (SVT 2013) track at the 28th ACM Symposium on Applied Computing (ACM SAC 2013)

    Veröffentlicht 2014
    Weitere Verfasser: “… Mousavi, Mohammad Reza 1978- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: