Yazar
Rogova, Galina. editor.
Format:
Electronic Resources
Alıntı:
Industrial safety.
Yazar
Beckers, Kristian. author.
Format:
Electronic Resources
Alıntı:
Industrial safety.
View Other Search Results
Yazar
Sankaranarayanan, Sriram. editor.
Format:
Electronic Resources
Alıntı:
formal and quantitative analysis of systems, performance engineering, computer safety, and industrial
Yazar
Laouiti, Anis. editor.
Format:
Electronic Resources
Alıntı:
variety of applications, including safety applications as well as infotainment applications. This book
Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam
Yazar
Mahmood, Zaigham. editor.
Format:
Electronic Resources
Alıntı:
The Internet of Things in the Industrial Sector Security and Device Connectivity, Smart
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
-- Mechanized Refinement of Communication Models with TLA+ -- A Super Industrial Application of PSGraph -- The