De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Testability of Distributed Real-Time Systems

Bag om Testability of Distributed Real-Time Systems

Since the formal verification techniques of temporal properties have not yet matured to the point where these techniques can be used in practical system development, systematic design and testing are the only alternatives for the development of dependable real-time systems.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780792393863
  • Indbinding:
  • Hardback
  • Sideantal:
  • 144
  • Udgivet:
  • 1. august 1993
  • Udgave:
  • 1993
  • Størrelse:
  • 234x156x11 mm.
  • Vægt:
  • 910 g.
  • 8-11 hverdage.
  • 2. december 2024

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Beskrivelse af Testability of Distributed Real-Time Systems

Since the formal verification techniques of temporal properties have not yet matured to the point where these techniques can be used in practical system development, systematic design and testing are the only alternatives for the development of dependable real-time systems.

Brugerbedømmelser af Testability of Distributed Real-Time Systems



Find lignende bøger
Bogen Testability of Distributed Real-Time Systems findes i følgende kategorier: