Dima, Catalin.
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.; Dima, Catalin.; SpringerLink (Online service)
(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:
Dima, Catalin.; SpringerLink (Online service); 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.
Software engineering.
Simulation and Modeling.
Computers, Special purpose.
Computer science.
Theory of Computation.
Computers.
Architecture, Computer.
Microprogramming .
Special purpose computers.
Computer simulation.