Languages
Jansen, David N.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Formal modeling and analysis of timed systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018 : proceedings /
by:
SpringerLink (Online service); Jansen, David N.; Prabhakar, Pavithra.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings /
by:
SpringerLink (Online service); Prabhakar, Pavithra.; Jansen, David N.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Quantitative Evaluation of Systems = 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings /
by:
Remke, Anne.; SpringerLink (Online service); Jansen, David N.; Gribaudo, Marco.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Computer science—Mathematics.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Mathematics of Computing.
Computer Science.
System analysis
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Computer simulation.
Temporal automata
Computer communication systems.
Probability and Statistics in Computer Science.
Artificial Intelligence (incl. Robotics)
Mathematical statistics.
Artificial Intelligence.
Simulation and Modeling.
Computer simulation
Computers.