 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Wissensbrowser starten | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||
|  | | | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Literatur |
|
NASA Formal Methods Guidebook |
| ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
| Beschreibung | ||||||||||||||||||||||
| ||||||||||||||||||||||
| Leitfaden für Projekt-Entscheider (Manager und Ingenieure), gedacht, um formale Methoden für Planung und Umsetzung konkreter Projekte einzusetzen.
Quelle: http://eis.jpl.nasa.gov/quality/Formal_Methods/ | ||||||||||||||||||||||
| ||||||||||||||||||||||
| Autoren | ||||||||||||||||||||||
| ||||||||||||||||||||||
| NASA Office of Safety and Mission Assurance | ||||||||||||||||||||||
| ||||||||||||||||||||||
| Publikationstyp | ||||||||||||||||||||||
| ||||||||||||||||||||||
| Buch | ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
| Downloads | ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||
Eintrag kommentieren
| ||||||||||||||
|
