Model checking large software specifications
Chan, W., Anderson, R.J., Beame, P., Burns, S., Modugno, F., Notkin, D., Reese, J.D.
Published in IEEE transactions on software engineering (01.07.1998)
Published in IEEE transactions on software engineering (01.07.1998)
Get full text
Journal Article
Conference Proceeding
Requirements specification for process-control systems
Leveson, N.G., Heimdahl, M.P.E., Hildreth, H., Reese, J.D.
Published in IEEE transactions on software engineering (01.09.1994)
Published in IEEE transactions on software engineering (01.09.1994)
Get full text
Journal Article
Software deviation analysis
Reese, Jon Damon, Leveson, Nancy G.
Published in International Conference on Software Engineering: Proceedings of the 19th international conference on Software engineering; 17-23 May 1997 (01.01.1997)
Published in International Conference on Software Engineering: Proceedings of the 19th international conference on Software engineering; 17-23 May 1997 (01.01.1997)
Get full text
Conference Proceeding
Journal Article
SpecTRM: a CAD system for digital automation
Leveson, N.G., Reese, J.D., Heimdahl, M.P.E.
Published in 17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No.98CH36267) (1998)
Published in 17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No.98CH36267) (1998)
Get full text
Conference Proceeding
Creating and analyzing requirement specifications of joint human-computer controllers for safety-critical systems
Modugno, F., Leveson, N.G., Reese, J.D., Partridffe, K., Sandys, S.
Published in Proceedings Third Annual Symposium on Human Interaction with Complex Systems. HICS'96 (1996)
Published in Proceedings Third Annual Symposium on Human Interaction with Complex Systems. HICS'96 (1996)
Get full text
Conference Proceeding
Automated fluorometric determination of vitamin C in foods
Dunmire, D L, Reese, J D, Bryan, R, Seegers, M
Published in Journal of the Association of Official Analytical Chemists (01.05.1979)
Published in Journal of the Association of Official Analytical Chemists (01.05.1979)
Get more information
Journal Article