Languages
Bertrand, Nathalie.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Quantitative evaluation of systems = 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Bortolussi, Luca.; Bertrand, Nathalie.
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems = 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings /
by:
SpringerLink (Online service); Jansen, Nils.; Bertrand, Nathalie.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Computer System Implementation.
Petri nets
Artificial intelligence.
System Performance and Evaluation.
Computer systems
Reliability (Engineering)
Theory of Computation.
Computer networks
Computers.
Architecture, Computer.
Machine theory
Computer Science.
Computer Hardware.
Computer hardware.
Microprogramming .
Logics and Meanings of Programs.
Computation by Abstract Devices.
Special purpose computers.
Probability and Statistics in Computer Science.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
Simulation and Modeling.