1. 2001
  2. Expressing and verifying timing requirements with UML

    Al-Daraiseh, A., Zalewski, J. & Toetenel, WJ., 2001, ISAS SCI 2001: proceedings. N Callaos & ... [et Al] (eds.). Orlando: International Institute of Informatics and Systemics, p. 461-466 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. GNSS extensions: intermediate interference robustness report deliverable D7 for shine

    Coenen, AJRM., Ober, PB., Reijmers, H. & van Katwijk, J., 2001, Delft: Delft University of Technology. 21 p.

    Research output: Book/ReportReportProfessional

  4. Parallel and distributed real-time systems: an introduction

    van Katwijk, J. & Zalewski, J., 2001, Parallel and distributed real-time systems. S Boriotti & D Dennis (eds.). Huntington, New York: Nova Science Publishers, p. 1-6

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  5. Parametric real-time model checking using splitting trees

    Lutje Spelberg, RF. & Toetenel, WJ., 2001, In : Nordic Journal of Computing. 8, p. 88-120 33 p.

    Research output: Contribution to journalArticleScientific

  6. Practice of real-time software architecture: Collider, satellites, and tanks combined

    van Katwijk, J., Schwartz, JJ. & Zalewski, J., 2001, Proceedings. HB Verbruggen, CW Chan & RA Vingerhoeds (eds.). Hong Kong: IFAC, p. 550-559 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  7. Real-Time model checking based on splitting

    Lutje Spelberg, RF. & Toetenel, WJ., 2001, Proceedings. JCM Baeten & ... [et Al] (eds.). S.l.: s.n., p. 56-70 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  8. Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm

    van Katwijk, J. & ... [et Al], ., 2001, Parallel and distributed real-time systems. S Boriotti & D Dennis (eds.). Huntington, New York: Nova Science Publishers, p. 105-126

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  9. Software verification in ground transportation systems

    Al-Daraiseh, A., Zalewski, J. & Toetenel, WJ., 2001, ISAS SCI 2001: proceedings. N Callaos, S Long & M Loutfi (eds.). Orlando: International Institute of Informatics and Systemics, p. 271-276 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  10. Specification of Real-Time properties in UML

    Boubtsova, E. & Toetenel, WJ., 2001, Proceedings. Piscataway: IEEE Society, p. 61-64 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  11. Transformation of UML specification to XTG

    Roubtsova, E., van Katwijk, J., de Rooij, RCM. & Toetenel, WJ., 2001, PSI'01: proceedings. S.l.: s.n., p. 138-140 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

Previous 1 2 3 4 5 6 7 8 ...95 Next

ID: 19954