Languages
Katoen, Joost-Pieter.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
ModelEd, testEd, trustEd = essays dedicated to Ed Brinksma on the occasion of his 60th birthday /
by:
Katoen, Joost-Pieter.; Langerak, Rom.; Rensink, Arend.; SpringerLink (Online service)
(Electronic resources)
Principles of model checking
by:
Katoen, Joost-Pieter.; NetLibrary, Inc.; Baier, Christel.
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /
by:
Katoen, Joost-Pieter.; Stevens, Perdita.; SpringerLink (Online service); TACAS 2002 ((2002 :)
(Language materials, printed)
Lectures on formal methods and performance analysis = first EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures/
by:
Brinksma, Ed.; Hermanns, Holger.; Katoen, Joost-Pieter.; SpringerLink (Online service); EEF Summer School on Trends in Computer Science (2000 :)
(Language materials, printed)
Formal methods for real-time and probabilistic systems = 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings /
by:
Katoen, Joost-Pieter.; SpringerLink (Online service); International AMAST Workshop, ARTS'99 (1999 :)
(Language materials, printed)
Formal methods = 25th international symposium, FM 2023, Lubeck, Germany, March 6-10, 2023 : proceedings /
by:
International Symposium of Formal Methods Europe (2023 :); Chechik, Marsha.; Katoen, Joost-Pieter.; Leucker, Martin.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Programming Language.
Algorithm Analysis and Problem Complexity.
Control Structures and Microprogramming.
Computer software- Verification.
Formal methods (Computer science)
System design- Congresses.
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Computer science- Mathematics.
Computer systems- Verification.
Computer software- Development
Simulation and Modeling.
Real-time data processing- Congresses.