Languages
Jansen, Nils.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Quantitative evaluation of systems = 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /
by:
Jansen, Nils.; SpringerLink (Online service); Tribastone, Mirco.; International Conference on the Quantitative Evaluation of Systems (2023 :)
(Electronic resources)
A journey from process algebra via timed automata to model learning = essays dedicated to Frits Vaandrager on the occasion of his 60th birthday /
by:
Vaandrager, Frits,; Jansen, Nils.; Stoelinga, Marielle.; Bos, Petra van den.; SpringerLink (Online service)
(Electronic resources)
Formal modeling and analysis of timed systems = 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings /
by:
FORMATS (Conference) (2020 :); Bertrand, Nathalie.; Jansen, Nils.; SpringerLink (Online service)
(Electronic resources)
Subjects
Theory of Computation.
Software Engineering.
Natural Language Processing (NLP)
Logic in AI.
Mathematics of Computing.
Control Structures and Microprogramming.
Reliability (Engineering)
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Computer simulation
Computer Engineering and Networks.
Computer networks- Evaluation
Artificial Intelligence.
Computer science- Mathematics.
Computer System Implementation.
Computer Hardware.
Temporal automata
System analysis
Computer systems- Evaluation
Stochastic processes