Carnegie Mellon University

Software Engineering Institute

Home
Publications
Authors
Jan Storbank Pedersen

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

Report a Vulnerability to CERT/CC
Subscribe to SEI Bulletin
Request Permission to Use SEI Materials

Carnegie Mellon University
Software Engineering Institute
4500 Fifth Avenue
Pittsburgh, PA 15213-2612
412-268-5800

Contact Us

Office Locations
Additional Sites Directory
Legal
Privacy Notice
CMU Ethics Hotline
www.sei.cmu.edu

2024

Carnegie Mellon University