語系
Bertrand, Nathalie.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Quantitative evaluation of systems14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
(1998 :); Bertrand, Nathalie.; Bortolussi, Luca.; SpringerLink (Online service)
(書目-電子資源)
Formal modeling and analysis of timed systems18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings /
by:
(1998 :); Bertrand, Nathalie.; Jansen, Nils.; SpringerLink (Online service)
(書目-電子資源)
主題
Theory of Computation.
Machine theory
Logics and Meanings of Programs.
Computer systems
Reliability (Engineering)
Petri nets
Computation by Abstract Devices.
Control Structures and Microprogramming.
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Computer simulation
Artificial Intelligence.
Computer networks
Computer Science.
System Performance and Evaluation.
Probability and Statistics in Computer Science.
Simulation and Modeling.
Computer System Implementation.
Computer Hardware.
Temporal automata
System analysis