Constance Heitmeyer and Computer - Free people check

(1 - 11 from 14

)

Organizers' Biographies

www.icse-conferences.org

Constance Heitmeyer heads the Software Engineering Section of NRL's Center for High Assurance Computer Systems. She has led the development of NRL's ...

Constance Heitmeyer. Applying `practical' formal methods to the specification and analysis of security properties. In Proc. Information Assurance in Computer Networks (MMM-ACNS 2001), LCNS , St. Petersburg, Russia,

Computer Safety, Reliability, and Security: 22nd International...

books.google.de

Edinburgh, the Scottish capital, hosted SAFECOMP Since its establishment, SAFECOMP, the series of conferences on Computer Safety, Reliability and...

Computer Safety, Reliability, and Security: 22nd ...books.google.com › books

books.google.de

Developing High Assurance Systems: On the Role of Software Tools Constance Heitmeyer Naval Research Laboratory (Code 5546), Washington, DC

Cryptographic Security Architecture: Design and Verificationbooks.google.com › books

books.google.ae

“A Security Model for Military Message Systems”, Carl Landwehr, Constance Heitmeyer, and John McLean, ACM Transactions on Computer Systems, Vol.2, ...

Information Assurance in Computer Networks. Methods, Models and

books.google.de

This book presents the refereed proceedings of the International Workshop on Mathematical Methods, Models, and Architectures for Network Security Systems,...

Model Checking Complete Requirements Specifications ...citeseerx.ist.psu.edu › viewdoc › summary

citeseerx.ist.psu.edu

10, Ramesh Bharadwaj and Constance Heitmeyer Center for High Assurance Computer Systems (Code 5546) Naval Research Laboratory Washington, ...

On the need for practical formal methods | SpringerLink

link.springer.com

· Constance Heitmeyer. 1; 1. Naval Research Laboratory Washington, DC USA; About this paper. Cite this paper as: Heitmeyer C. (1998) On the need for practical formal methods. In: Ravn A.P., Rischel H. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT Lecture Notes in Computer Science, vol

(PDF) Tools for formal specification, verification, and ...

www.academia.edu

To appear in Proc., COMPASS ’97 Tools for Formal Specification, Verification, and Validation of Requirements Constance Heitmeyer, James Kirby, and Bruce Labaw Center for High Assurance Computer Systems (Code 5546) Naval Research Laboratory, Washington, DC fheitmeyer, kirby, .navy.mil Abstract supported by powerful, easy to use tools.

John Fitzgerald

Person "Heitmeyer" (1)
Forename "Constance" (5874)
Name "Heitmeyer" (48)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Constance Heitmeyer and Computer Free People Check

Organizers' Biographies

papers - cse.msu.edu

Computer Safety, Reliability, and Security: 22nd International...

Computer Safety, Reliability, and Security: 22nd ...books.google.com › books

Cryptographic Security Architecture: Design and Verificationbooks.google.com › books

Information Assurance in Computer Networks. Methods, Models and

Model Checking Complete Requirements Specifications ...citeseerx.ist.psu.edu › viewdoc › summary

On the need for practical formal methods | SpringerLink

(PDF) Tools for formal specification, verification, and ...

Annals of Computer Science and Information Systems, Volume 8

Formal Methods: Computer Society of India Communications May

All web results to the name "Constance Heitmeyer"