Applicable Formal Methods for Safe Industrial Products

Saved in:
Bibliografiske detaljer
Hovedforfatter: Haxthausen, Anne E.
Andre forfattere: Huang, Wen-ling, Roggenbach, Markus
Format: eBog
Sprog:engelsk
Udgivet: Springer Nature, 2023.
Fag:
Online adgang:Access eBook
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
Beskrivelse
Fysisk beskrivelse:1 online resource
Format:Mode of access: World Wide Web.
ISBN:978-3-031-40132-9