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
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Computer organization.
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Computer Science.
Computer multitasking
Microprogramming .
Programming Languages, Compilers, Interpreters.
Parallel processing (Electronic computers)
Computer Systems Organization and Communication Networks.
Information Systems Applications (incl.Internet)
Logics and Meanings of Programs.
Computer science
Mathematical Logic and Formal Languages.
Computer software
Computer simulation.
Computer Science Logic and Foundations of Programming.
Artificial Intelligence (incl. Robotics)
Control Structures and Microprogramming.
Simulation and Modeling.
Computer systems