Concepedia

W.J. Toetenel

WT

Statistics

Publications

6

Citations

79

H-Index

6

Active since

1992

Affiliations

Delft University of Technology(Current)

W.J. Toetenel is an author at Delft University of Technology specializing in formal methods, computer science, and systems modeling.

Publications per year

1992–2005

6

Publications

6

XTG-an engineering approach to modelling and analysis of real-time systems

M.J.J. Ammerlaan, R.F. Lutje-Spelberg, W.J. Toetenel · 2002 · 17 citations

, , +17

Model oriented specification of communicating agents

W.J. Toetenel · Research Repository (Delft University of Technology) · 1992 · 16 citations · Full text

, , +10

Hybrid specification of control systems

K. Brink, L. Bun, J. van Katwijk et al. · 2002 · 14 citations

, , +17

Specification of Real-Time Systems in UML

Ella Roubtsova, J. van Katwijk, W.J. Toetenel et al. · Electronic Notes in Theoretical Computer Science · 2000 · 12 citations · Full text

, , +15

Parametric real-time model checking using splitting trees

R.F. Lutje Spelberg, W.J. Toetenel · Nordic journal of computing · 2001 · 10 citations

, , +16

1–5 of 6