Marknadens största urval
Snabb leverans

From Reactive Systems to Cyber-Physical Systems

- Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Om From Reactive Systems to Cyber-Physical Systems

The contributions cover a wide spectrum of the topics related to Scott's research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783030315139
  • Format:
  • Häftad
  • Sidor:
  • 301
  • Utgiven:
  • 21 September 2019
  • Utgåva:
  • 12019
  • Mått:
  • 155x235x0 mm.
  • Vikt:
  • 492 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 30 Oktober 2024

Beskrivning av From Reactive Systems to Cyber-Physical Systems

The contributions cover a wide spectrum of the topics related to Scott's research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning.

Användarnas betyg av From Reactive Systems to Cyber-Physical Systems



Hitta liknande böcker
Boken From Reactive Systems to Cyber-Physical 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.