Can I read Aircraft Safety Simulation Toolset on EtoBox?

Aircraft Safety Simulation Toolset by U.S. Naval Research Laboratory is a document available to read on EtoBox.

What is Aircraft Safety Simulation Toolset about?

The Naval Research Laboratory (NRL) has developed a powerful, easy-to-use suite of tools to support the development of software that meets its requirements and performs as specified. Based on a scalable tabular notation for representing requirements, the toolset can assist in creating a specification, checking specifications for consistency, validating a specification, and verifying that a specification satisfies critical properties, such as safety and security properties. The suite includes a graphical int

Author

U.S. Naval Research Laboratory

Language

EN