Počet záznamů: 1  

Verifying cyber-physical systems

  1. Verifying cyber-physical systems : a path to safe autonomy / Sayan Mitra.    Cambridge, MA ; London : The MIT Press, [2021]  ©2021 . xvi, 296 stran
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    Z000100

Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.