scientific article; zbMATH DE number 1746671

zbMATH Open0986.68914MaRDI QIDQ4530840FDOQ4530840

Authors: Constance L. Heitmeyer 

Publication date: 9 June 2002

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 2080050
• scientific article; zbMATH DE number 2043474
• Using SCR to specify requirements of the BART advanced automated train control system
• Formal verification of security model using SPR tool
• Formal methods of analysis of system properties

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Data encryption (aspects in computer science) (68P25) Theory of software (68N99)

Cited In (7)

• The formal specification of safety requirements for storing explosives
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal to practical security. Papers issued from the 2005--2008 French-Japanese collaboration
• Title not available (Why is that?)
• Formal requirements for utility and value functions for security‐related decisions
• Improving the semantics of the software cost reduction method

Uses Software

• SPIN

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530840)