Languages
Horvath, Andras.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Computer performance engineering11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014 : proceedings /
by:
(1998 :); Horvath, Andras.; SpringerLink (Online service); Wolter, Katinka.
(Language materials, printed)
Quantitative evaluation of systems15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings /
by:
(1998 :); Horvath, Andras.; McIver, Annabelle.; SpringerLink (Online service)
(Electronic resources)
Formal Methods and Stochastic Models for Performance EvaluationThird European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings /
by:
(1998 :); Horvath, Andras.; SpringerLink (Online service); Telek, Miklos.
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Stochastic models
Logics and Meanings of Programs.
Computer systems
Reliability (Engineering)
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Computer Science.
Computer Communication Networks.
System Performance and Evaluation.
Computers
Probability and Statistics in Computer Science.
Simulation and Modeling.
Computer networks