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