Εμφανίζονται 1 - 7 Αποτελέσματα από 7 για την αναζήτηση 'Katoen, Joost-Pieter', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    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 /
    Έκδοση 2002
    Άλλοι συγγραφείς: “…Katoen, Joost-Pieter…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    CONCUR 2011 – Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings /
    Έκδοση 2011
    Άλλοι συγγραφείς: “…Katoen, Joost-Pieter…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    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 /
    Έκδοση 2001
    Άλλοι συγγραφείς: “…Katoen, Joost-Pieter…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings /
    Έκδοση 2019
    Άλλοι συγγραφείς: “…Katoen, Joost-Pieter…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
    Έκδοση 2017
    Άλλοι συγγραφείς: “…Katoen, Joost-Pieter…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Model-Based Testing of Reactive Systems Advanced Lectures /
    Έκδοση 2005
    Άλλοι συγγραφείς: “…Katoen, Joost-Pieter…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Validation of Stochastic Systems A Guide to Current Research /
    Έκδοση 2004
    Άλλοι συγγραφείς: “…Katoen, Joost-Pieter…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email