gefundene Verfasser Mousavi, M.R

Mousavi, Mohammad Reza 1978-
IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems Lucca
Mousavi, Mohammad Reza
SPLC '21: 25th ACM International Systems and Software Product Line Conference
TTCS Teheran
Alle anzeigen »
Bytecode
Groote, J. F. 1965-
Groote, Jan Friso
Groote, Jan Friso 1965-
Gómez-Zamalloa, Miguel

Treffer 1 - 12 von 12 für Suche 'Mousavi, M.R', Suchdauer: 1,56s Treffer weiter einschränken
  1. 1
    Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A

    Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A von Mousavi, Mohammad Reza

    Veröffentlicht 2021
    UBM01
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B

    Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B von Mousavi, Mohammad Reza

    Veröffentlicht 2021
    UBM01
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  3. 3
    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

    Zu den Favoriten
    Gespeichert in:
  4. 4
    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

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Modeling and analysis of communicating systems

    Modeling and analysis of communicating systems von Groote, J. F. 1965-

    Veröffentlicht 2014
    MIT Press
    E-Book

    Zu den Favoriten
    Gespeichert in:
  6. 6
    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

    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  7. 7
    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
    BTU01
    FHA01
    FHI01
    FHM01
    FHN01
    FHR01
    FKE01
    FLA01
    FRO01
    FWS01
    FWS02
    HTW01
    TUM01
    UBA01
    UBG01
    UBM01
    UBR01
    UBT01
    UBW01
    UBY01
    UER01
    UPA01
    URL des Erstveröffentlichers
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  8. 8
    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

    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  9. 9
    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
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    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

    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  11. 11
    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
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    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
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: