Carnegie Mellon University

Jan Storbank Pedersen

Jan Storbank Pedersen is an SEI alumni employee.

• All

Software Development Using VDM

December 1, 1989 • Curriculum Module

By Jan Storbank Pedersen

Using the Vienna Development Method (VDM) to Formalize a Communication Protocol

November 1, 1988 • Technical Report

By Jan Storbank Pedersen , Mark H. Klein