Utvidet returrett til 31. januar 2025

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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783030315139
  • Bindende:
  • Paperback
  • Sider:
  • 301
  • Utgitt:
  • 21. september 2019
  • Utgave:
  • 12019
  • Dimensjoner:
  • 155x235x0 mm.
  • Vekt:
  • 492 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 19. desember 2024

Beskrivelse 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.

Brukervurderinger av From Reactive Systems to Cyber-Physical Systems



Finn lignende bøker
Boken From Reactive Systems to Cyber-Physical Systems finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.