Languages
Jansen, David N.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Quantitative evaluation of systems17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings /
by:
(1998 :); Gribaudo, Marco.; Jansen, David N.; Remke, Anne.; SpringerLink (Online service)
(Electronic resources)
Formal modeling and analysis of timed systems16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018 : proceedings /
by:
(1998 :); Jansen, David N.; Prabhakar, Pavithra.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Computer systems
Reliability (Engineering)
Formal methods (Computer science)
Computer simulation
Artificial Intelligence.
Computer Science.
Simulation and Modeling.
Computer networks
Probability and Statistics in Computer Science.
Computer Communication Networks.
Temporal automata
System analysis
Stochastic processes