MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Hans Toetenel – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 8 documents found, showing 1 through 8.
ATOM RSS
  • AEVDM Action-Event Modeling using an extended VDM-SL  
  • by Report Ronald, Ronald Huijsman, Nico Plat, Hans Toetenel — 1993 — Reports of the Faculty of Technical Mathematics and Informatics no 1993-117, ISSN
  • … Nico Plat Hans Toetenel Technische Universiteit Delft Delft University of Technology Faculteit der…
  • Add To MetaCart
  • Parametric model-checking in PMC  
  • by GiosuĂ© Bandini, Ronald Lutje Spelberg, Hans Toetenel
  • …This paper presents work that has been carried out as a part of the TVS (Transformation Verification Simulation) project at the Software Engineering department of Delft University of Technology. In the TVS project, a tool-set for formal methods is developed. One part of this tool-set is PMC (Prototy…
  • Add To MetaCart
  • SVDM: An Integrated Combination of SA and VDM  
  • by Peter Gorm Larsen, Jan van Katwijk, Nico Plat, Kees Pronk, Hans Toetenel — 1991 — In Proc. Methods Integration Workshop
  • … Pronk Hans Toetenel Delft University of Technology Faculty of Technical Mathematics and Informatics P…
  • Cited by 3 (0 self) – Add To MetaCart
Help! Showing 1 through 8.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB