University of Minnesota
Software Engineering Center

You are here


Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
Completeness and Consistency in Hierarchical State-Based Requirements. Mats Heimdahl
Nancy Leveson
June 1996 IEEE Transactions on Software Engineering, Vol. SE-22, No. 6, pp. 363--377 (June 1996) Critical Systems Research Group
Algebraic Implementation of Model Checking Teodor Rus
Eric Van Wyk
March 1996 In Proc. of the 3rd AMAST Workshop on Real-Time Systems held in Salt Lake City, Utah March 6-8 1996. Minnesota Extensible Language Tools PDF icon utah_book_final.pdf
Is an MVE the Right Environment for Your Visualization Application? Kent Lee
Jun Ni
Tom Halverson
Eric Van Wyk
Judy Brown
May 1995 Computer Graphics, vol 29, num 2, May 1995. Minnesota Extensible Language Tools
Requirements Specification for Process Control Systems Nancy Leveson
Mats Heimdahl
Holly Hildreth
Jon Reese
September 1994 IEEE Transactions on Software Engineering, Vol. SE-20, No. 9, pp. 684--707 (September 1994) Critical Systems Research Group