Text · dataset · 2025
AADL Models of Network Protocols
Listed in Open NASA
AADL and Error Annex models of SAFEbus, SPIDER, TTP and BRAIN
Links
Get the data
- SAFEbus Description.pdf c3.nasa.gov/dashlink/static/media/dataset/SAFEbus_Description.pdf ↗
download · from open nasa gov
Where it is published
- Open NASA dataset page data.nasa.gov/dataset/aadl-models-of-network-protocols ↗
landing page · from open nasa gov
Catalogue records · 1
- CKAN API data.nasa.gov/api/3/action/package_show?id=60bb7af8-cbd0-4150-be65-17e38b5d8… ↗
metadata API · from open nasa gov
Related
- Possibly the same asAADL Models of Network Protocols
Provenance · 1 source records, 6 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| Open NASA | 60bb7af8-cbd0-4150-be65-17e38b5d8524 | 19 h ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| created_date | source · open nasa gov | connector:open_nasa_gov@1.0.0 | |
| description | source · open nasa gov | connector:open_nasa_gov@1.0.0 | /notes |
| license_text | source · open nasa gov | connector:open_nasa_gov@1.0.0 | |
| publication_date | source · open nasa gov | connector:open_nasa_gov@1.0.0 | |
| title | source · open nasa gov | connector:open_nasa_gov@1.0.0 | /title |
| updated_date | source · open nasa gov | connector:open_nasa_gov@1.0.0 |