Languages
Bertrand, Nathalie.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Quantitative evaluation of systems14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
(1998 :); Bertrand, Nathalie.; Bortolussi, Luca.; SpringerLink (Online service)
(Electronic resources)
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)
(Electronic resources)
Subjects
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