Katoen, Joost-Pieter.
Overview
| Works: | 5 works in 4 publications in 1 languages | |
|---|---|---|
Titles
CONCUR 2011 = concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings /
by:
Katoen, Joost-Pieter.; SpringerLink (Online service); Konig, Barbara.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Dependable Software Engineering. Theories, Tools, and Applications = 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings /
by:
Guan, Nan.; Katoen, Joost-Pieter.; SpringerLink (Online service); Sun, Jun.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Principles of model checking
by:
Baier, Christel.; NetLibrary, Inc.; Katoen, Joost-Pieter.
(Language materials, printed)
Principles of verification = cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday.. Part I /
by:
SpringerLink (Online service); Jansen, Nils.; Katoen, Joost-Pieter.
(Language materials, printed)
Principles of verification = cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday.. Part II /
by:
SpringerLink (Online service); Katoen, Joost-Pieter.; Jansen, Nils.
(Language materials, printed)
ModelEd, testEd, trustEd = essays dedicated to Ed Brinksma on the occasion of his 60th birthday /
by:
Langerak, Rom.; SpringerLink (Online service); Katoen, Joost-Pieter.; Rensink, Arend.
(Language materials, printed)
Subjects
Mathematical logic.
Formal methods (Computer science)
Computer organization.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Computer Systems Organization and Communication Networks.
Information Systems Applications (incl.Internet)
Logics and Meanings of Programs.
Computer science
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Parallel processing (Electronic computers)
Software Engineering.
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer Science.
Microprogramming .
Computer simulation.
Control Structures and Microprogramming.
Simulation and Modeling.
Computer systems
Computer multitasking
Computer software
Computer Science Logic and Foundations of Programming.