Summary goes here
Spremljeno u:
| Format: | Knjiga |
|---|---|
| Jezik: | engleski |
| Teme: | |
| Oznake: |
Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 4d1cc823-5e57-4fad-8dbf-69422cbc4e9a |
| isbn | |
| issn | |
| language | eng |
| physical | 1 volume |
| publication | – publisher: NASA IV V Facility dateOfPublication: 1997 |
| publishDate | 1997 |
| subjects | |
| title | Validating requirements for fault tolerant systems using model checking / Francis Schneider [and others]. |
| topic | Fault tolerance (Engineering) Error-correcting codes (Information theory) Computer network protocols. Tolérance aux fautes (Ingénierie) Codes correcteurs d'erreurs (Théorie de l'information) Protocoles de réseaux d'ordinateurs. Computer network protocols. Error-correcting codes (Information theory) Fault tolerance (Engineering) Fault tolerance. Functional design specifications. Spacecraft control. Error detection codes. Protocol (Computers) Temporal logic. |