Security of Industrial Control Systems and Cyber-Physical Systems

क्यूआर कोड

Security of Industrial Control Systems and Cyber-Physical Systems

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखकों:	Cuppens-Boulahia, Nora, Lambrinoudakis, Costas, Cuppens, Frédéric, Katsikas, Sokratis
स्वरूप:	पुस्तक
भाषा:	English
प्रकाशित:	Springer International Publishing 2020
विषय:	Computer Science Logics and Meanings of Programs Computer Systems Organization and Communication Networks
ऑनलाइन पहुंच:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83383
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

समान संसाधन

Computer Security
द्वारा: Katsikas, Sokratis K., और अन्य
प्रकाशित: (2020)

Cyber-Physical Systems of Systems
द्वारा: Bondavalli, Andrea, और अन्य
प्रकाशित: (2020)

Risks and Security of Internet and Systems
द्वारा: Kallel, Slim, और अन्य
प्रकाशित: (2020)

Machine Learning for Cyber Physical Systems
द्वारा: Beyerer, Jürgen, और अन्य
प्रकाशित: (2020)

Machine Learning for Cyber Physical Systems
द्वारा: Beyerer, Jürgen, और अन्य
प्रकाशित: (2020)

Computer Security
द्वारा: Katsikas, Sokratis, और अन्य
प्रकाशित: (2020)

Computer Safety, Reliability, and Security
द्वारा: Gallina, Barbara, और अन्य
प्रकाशित: (2020)

Multilayer Control of Networked Cyber-Physical Systems
द्वारा: Manfredi, Sabato
प्रकाशित: (2020)

Security-Aware Design for Cyber-Physical Systems
द्वारा: Lin, Chung-Wei, और अन्य
प्रकाशित: (2020)

Cyber Security for Cyber Physical Systems
द्वारा: Ali, Saqib, और अन्य
प्रकाशित: (2020)

Adaptive Autonomous Secure Cyber Systems
द्वारा: Jajodia, Sushil, और अन्य
प्रकाशित: (2020)

Logical Foundations of Cyber-Physical Systems
द्वारा: Platzer, André
प्रकाशित: (2020)

Networked Predictive Control of Systems with Communication Constraints and Cyber Attacks
द्वारा: Pang, Zhong-Hua, और अन्य
प्रकाशित: (2019)

Perspectives of Systems Informatics
द्वारा: Voronkov, Andrei, और अन्य
प्रकाशित: (2020)

MAC Protocols for Cyber-Physical Systems
द्वारा: Xia, Feng, और अन्य
प्रकाशित: (2015)

Risks and Security of Internet and Systems
द्वारा: Cuppens, Frédéric, और अन्य
प्रकाशित: (2020)

Foundations and Practice of Security. 1st ed. 2017
द्वारा: Cuppens, Frédéric, और अन्य
प्रकाशित: (2020)

A Practical Theory of Reactive Systems
प्रकाशित: (2020)

Engineering Secure Software and Systems
द्वारा: Bodden, Eric, और अन्य
प्रकाशित: (2020)

Cyber-Physical Systems and Control
द्वारा: Arseniev, Dmitry G., और अन्य
प्रकाशित: (2020)

Software Engineering and Formal Methods
द्वारा: Cerone, Antonio, और अन्य
प्रकाशित: (2020)

Frontiers of Combining Systems
द्वारा: Dixon, Clare, और अन्य
प्रकाशित: (2020)

Cyber Physical Systems. Design, Modeling, and Evaluation
द्वारा: Berger, Christian, और अन्य
प्रकाशित: (2020)

Quantitative Evaluation of Systems
द्वारा: McIver, Annabelle, और अन्य
प्रकाशित: (2020)

Perspectives of System Informatics
द्वारा: Petrenko, Alexander K., और अन्य
प्रकाशित: (2020)

Perspectives of System Informatics
द्वारा: Bjørner, Nikolaj, और अन्य
प्रकाशित: (2020)

Software Engineering for Resilient Systems
द्वारा: Romanovsky, Alexander, और अन्य
प्रकाशित: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
द्वारा: Vojnar, Tomáš, और अन्य
प्रकाशित: (2020)

Formal Methods in Software and Systems Modeling
प्रकाशित: (2020)

Advances in Computer Science - ASIAN 2007. Computer and Network Security
द्वारा: Cervesato, Iliano
प्रकाशित: (2020)

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
द्वारा: Okada, Mitsu, और अन्य
प्रकाशित: (2020)

Model-Based Testing of Reactive Systems
प्रकाशित: (2020)

Formal Modeling and Analysis of Timed Systems
द्वारा: Raskin, Jean-Francois, और अन्य
प्रकाशित: (2020)

Formal Modeling and Analysis of Timed Systems
द्वारा: Pettersson, Paul, और अन्य
प्रकाशित: (2020)

Formal Techniques for Safety-Critical Systems
द्वारा: Artho, Cyrille, और अन्य
प्रकाशित: (2020)

Descriptional Complexity of Formal Systems
द्वारा: Konstantinidis, Stavros, और अन्य
प्रकाशित: (2020)

PRIMA 2017: Principles and Practice of Multi-Agent Systems
द्वारा: An, Bo, और अन्य
प्रकाशित: (2020)

Formal Techniques for Distributed Objects, Components, and Systems
द्वारा: Bouajjani, Ahmed, और अन्य
प्रकाशित: (2020)

Risks and Security of Internet and Systems
द्वारा: Cuppens, Nora, और अन्य
प्रकाशित: (2020)

Concurrency, Security, and Puzzles
द्वारा: Gibson-Robinson, Thomas, और अन्य
प्रकाशित: (2020)