Roelof Jan Velthuys

Publication Activity (10 Years)

Years Active: 1988-1992
Publications (10 Years): 0

Publications

Jürgen M. Schneider, Lothar F. Mackert, Georg Zörntlein, Roelof Jan Velthuys, Udo Bär
An Integrated Environment for Developing Communication Protocols. Comput. Networks ISDN Syst. 25 (1) (1992)
Roelof Jan Velthuys, Jürgen M. Schneider, Georg Zörntlein
A Test Derivation Method Based on Exploiting Structure Information. PSTV (1992)
Roelof Jan Velthuys, Georg Zörntlein
Relating Events for Conformance Testing - a Pragmatic Approach. Protocol Test Systems (1991)
Roelof Jan Velthuys, Lothar F. Mackert, Jürgen M. Schneider, Georg Zörntlein
Structuring Mechanisms for the Formal Description Technique CRS. PSTV (1991)
Jürgen M. Schneider, Udo Bär, Jean Monnery, Thibault Mangold, Roelof Jan Velthuys, Georg Zörntlein
Formal Description of X.25 Applying a Rule-based Approach. Kommunikation in Verteilten Systemen (1991)
Jürgen M. Schneider, Iris B. Neumeier-Mackert, Lothar F. Mackert, Roelof Jan Velthuys
Executable Communicating Rule Systems. FORTE (1989)
Lothar F. Mackert, Ralf Meyer, Ulrich Scheere, Jürgen M. Schneider, Roelof Jan Velthuys, Jörg Burmeister, Jan de Meer, Ilona Schröer
A Generalized Conformance Test Tool for Communication Protocols. ICDCS (1988)