Mousavi, Mohammad Reza.
Overview
| Works: | 4 works in 6 publications in 1 languages | |
|---|---|---|
Titles
Formal methodsfoundations and applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018 : proceedings /
by:
(1998 :); Massoni, Tiago.; Mousavi, Mohammad Reza.; SpringerLink (Online service)
(Electronic resources)
Cyber physical systemsdesign, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016 : revised selected papers /
by:
(1998 :); Berger, Christian.; Mousavi, Mohammad Reza.; SpringerLink (Online service); Wisniewski, Rafael.
(Electronic resources)
Formal techniques for distributed objects, components, and systems42nd 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-18, 2022 : proceedings /
by:
(1998 :); Mousavi, Mohammad Reza.; Philippou, Anna.; SpringerLink (Online service)
(Electronic resources)
Topics in theoretical computer sciencethe first IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015 : revised selected papers /
by:
(1998 :); Hajiaghayi, Mohammad Taghi.; Mousavi, Mohammad Reza.; SpringerLink (Online service)
(Electronic resources)
Topics in theoretical computer sciencesecond IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings /
by:
(1998 :); Mousavi, Mohammad Reza.; Sgall, Jiri.; SpringerLink (Online service)
(Electronic resources)
Cyber physical systemsdesign, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 : proceedings /
by:
(1998 :); Berger, Christian.; Mousavi, Mohammad Reza.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Automatic control
Sensor networks
Logics and Meanings of Programs.
Electronic data processing
Computer systems
Cybernetics
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices.
Computer Graphics.
Data Structures.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Computer Engineering and Networks.
Computer science
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Discrete Mathematics in Computer Science.
Cooperating objects (Computer systems)