Shirmohammadi, Mahsa.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
Shirmohammadi, Mahsa.; SpringerLink (Online service); Dima, Catalin.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
SpringerLink (Online service); Dima, Catalin.; Shirmohammadi, Mahsa.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Computer System Implementation.
Computer Modelling.
Special Purpose and Application-Based Systems.
Computer systems.
Control Structures and Microprogramming.
Simulation and Modeling.
Software engineering.
Computers, Special purpose.
Computer science.
Theory of Computation.
Computers.
Architecture, Computer.
Microprogramming .
Computer simulation.
Special purpose computers.