Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Modeling and Verification of Real-time Systems

Modeling and Verification of Real-time Systems

- Formalisms and Software Tools

Modeling and Verification of Real-time Systems
Om Modeling and Verification of Real-time Systems

Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9781848210134
  • Format:
  • Inbunden
  • Sidor:
  • 448
  • Utgiven:
  • 10. mars 2008
  • Mått:
  • 160x241x28 mm.
  • Vikt:
  • 721 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 30. maj 2025

Beskrivning av Modeling and Verification of Real-time Systems

Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing.

Användarnas betyg av Modeling and Verification of Real-time Systems



Andra köpte även...
Hitta liknande böcker
Boken Modeling and Verification of Real-time Systems finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.