Search Results for System safety.

4 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

0000DEFAULTTR

Yazdır

1.

Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings için kapak resmi

Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings

Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings

Yazar

Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153

https://doi.org/10.1007/978-3-030-32872-6

Format:

Electronic Resources

Alıntı:

Computer System Implementation. https://scigraph.springernature.com/ontologies/product-market-codes

2.

Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings için kapak resmi

Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings

Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings

Yazar

Ghaffari, Mohsen. editor.

https://doi.org/10.1007/978-3-030-34992-9

Format:

Electronic Resources

Alıntı:

Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019

3.

Architecture of Computing Systems – ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings için kapak resmi

Architecture of Computing Systems – ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings

Architecture of Computing Systems – ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings

Yazar

Maehle, Erik. editor.

http://dx.doi.org/10.1007/978-3-319-04891-8

Format:

Electronic Resources

Alıntı:

Architecture of Computing Systems – ARCS 2014 27th International Conference, Lübeck, Germany

4.

Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 için kapak resmi

Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

Yazar

Drechsler, Rolf. editor.

http://dx.doi.org/10.1007/978-3-658-09994-7

Format:

Electronic Resources

Alıntı:

Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 / Drechsler, Rolf

Tümünü Seç

1

4 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2