Hans Toetenel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1990–2002
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | PROFES | Software Technologies for Embedded Systems: An Industry Inventory. | Bas Graaf, Marco Lormans, Hans Toetenel |
| 2000 | RTCSA | Parametric verification of the IEEE 1394a Root Contention protocol using LPMC. | Hans Toetenel, Ronald F. Lutje Spelberg, G. Bandini |
| 2000 | SAFECOMP | Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs. | Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski |
| 1996 | ICECCS | Modeling and analysis of complex computer systems-the MTCCS approach. | Hans Toetenel, Ronald F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk |
| 1990 | FM | Type Checking BSI/VDM-SL. | Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel |