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

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

Inhaltsverzeichnis

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...

Weitere Verfasser: “… Mousavi, Mohammad Reza 1978- …”

Volltext

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

Weitere Verfasser: 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

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

Weitere Verfasser: “… Mousavi, Mohammad Reza 1978- …”

Volltext

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

Weitere Verfasser: “… Mousavi, Mohammad Reza 1978- …”

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

Weitere Verfasser: “… Mousavi, Mohammad Reza 1978- …”

Volltext

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...

Weitere Verfasser: “… Mousavi, Mohammad Reza 1978- …”

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

Weitere Verfasser: “… Mousavi, Mohammad Reza 1978- …”