Joost-Pieter Katoen
![Joost-Pieter Katoen in [[Logic Lane]], [[Oxford]]](https://upload.wikimedia.org/wikipedia/commons/0/0f/Joost-Pieter-Katoen.jpg)
Showing 1 - 12 results of 12 for search 'Katoen, Joost-Pieter', query time: 0.04s
Refine Results
-
1
Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS99 Bamberg, Germany, May 2628, 1999 Proceedings /
Published 1999Other Authors: “…Katoen, Joost-Pieter…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic eBook -
2
Principles of model checking / by Baier, Christel
Published 2008Other Authors: “…Katoen, Joost-Pieter…”
Call Number: Loading…Full Text (via ProQuest)
Located: Loading…
eBook -
3
Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings /
Published 1999Other Authors: “…Katoen, Joost-Pieter…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
Conference Proceeding eBook -
4
Principles of model checking / by Baier, Christel
Published 2008Other Authors: “…Katoen, Joost-Pieter…”
Call Number: Loading…
Located: Loading…Book Loading… -
5
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...
Published 2002Other Authors: “…Katoen, Joost-Pieter…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic Conference Proceeding eBook -
6
Formal methods 25th international symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, proceedings /
Published 2023Other Authors:Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic Conference Proceeding eBook -
7
Dependable software engineering : theories, tools, and applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings /
Published 2019Other Authors:Call Number: Loading…Full Text (via Springer)
Located: Loading…
Conference Proceeding eBook -
8
Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /
Published 2001Other Authors:Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading… -
9
Foundations of probabilistic programming /
Published 2021Other Authors:Call Number: Loading…Full Text (via Cambridge)
Located: Loading…
Electronic eBook -
10
Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures /
Published 2001Other Authors:Call Number: Loading…Full Text (via Springer)
Located: Loading…
Conference Proceeding eBook -
11
CONCUR 2011--concurrency theory 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings /
Published 2011Other Authors: “…Katoen, Joost-Pieter…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic Conference Proceeding eBook -
12
ModelEd, testEd, trustEd : essays dedicated to Ed Brinksma on the occasion of his 60th birthday /
Published 2017Other Authors: “…Katoen, Joost-Pieter…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
eBook
Search Tools:
RSS Feed
–
Save Search
Related Subjects
Formal methods (Computer science)
Computer software
Software engineering
Computer science
Computer systems
Verification
Algorithms
Computer logic
Computer multitasking
Computer programming
Computer simulation
Data processing
Development
Logic design
Logic, Symbolic and mathematical
Mathematical models
Mathematics
Parallel processing (Electronic computers)
Probabilities
Programming languages (Electronic computers)
Real-time data processing
System design