Languages
Bertrand, Nathalie.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
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)
(Electronic resources)
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)
(Electronic resources)
Subjects
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