Linked Data Explorerhttp://worldcat.org/entity/work/id/157318277
Design oriented verification and evaluation : the DOVE project
"DOVE is a graphical tool for modelling and reasoning about state machine designs for critical systems. This report summarizes its technical development, and incorporates the user manual."--Abstract.
Open All Close All
http://schema.org/alternateName
- "DOVE project"
http://schema.org/contributor
- http://worldcat.org/entity/person/id/2722575820
- http://experiment.worldcat.org/entity/work/data/157318277#Organization/defence_science_and_technology_organisation_australia_information_networks_division
- http://worldcat.org/entity/person/id/2632439898
- http://worldcat.org/entity/person/id/2700281159
- http://worldcat.org/entity/person/id/2631632344
- http://viaf.org/viaf/152656690
- http://id.loc.gov/authorities/names/n2005181769
http://schema.org/description
- ""DOVE is a graphical tool for modelling and reasoning about state machine designs for critical systems. This report summarizes its technical development, and incorporates the user manual."--Abstract."@en
- "DOVE is a graphical tool for modelling and reasoning about state machine designs for critical systems. This report summarizes its technical development, and incorporates the user manual."
- "DOVE is a graphical tool for modelling and reasoning about state machine designs for critical systems. This report summarizes its technical development, and incorporates the user manual."@en
http://schema.org/genre
- "Handbooks and manuals"@en
- "Handbooks, manuals, etc"