Roelof Jan Velthuys

According to our database1, Roelof Jan Velthuys authored at least 7 papers between 1988 and 1992.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1992
An Integrated Environment for Developing Communication Protocols.
Comput. Networks ISDN Syst., 1992

A Test Derivation Method Based on Exploiting Structure Information.
Proceedings of the Protocol Specification, 1992

1991
Relating Events for Conformance Testing - a Pragmatic Approach.
Proceedings of the Protocol Test Systems, IV, 1991

Structuring Mechanisms for the Formal Description Technique CRS.
Proceedings of the Protocol Specification, 1991

Formal Description of X.25 Applying a Rule-based Approach.
Proceedings of the Kommunikation in Verteilten Systemen, 1991

1989
Executable Communicating Rule Systems.
Proceedings of the Formal Description Techniques, 1989

1988
A Generalized Conformance Test Tool for Communication Protocols.
Proceedings of the 8th International Conference on Distributed Computing Systems, 1988


  Loading...