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.
Microprogramming .
Computer hardware.
Computer Hardware.
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.