Concepedia

K.C.J. Wijbrans

KW

Statistics

Publications

2

Citations

58

H-Index

2

Active since

1998

Affiliations

University of Twente(Current)

K.C.J. Wijbrans is an author at University of Twente specializing in software engineering, formal methods, and formal verification.

Top concepts

Publications per year

1998–2001

2

Publications

2

Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods

Jan Tretmans, K.C.J. Wijbrans, Michel R. V. Chaudron · Formal Methods in System Design · 2001 · 46 citations

Testing and Formal Methods - BOS Project Case Study

Wouter Geurts, K.C.J. Wijbrans, G.J. Tretmans · Data Archiving and Networked Services (DANS) · 1998 · 12 citations · Full text

, , +10

1–2 of 2