Logical foundations of cyber-physical systems / André Platzer

Logical foundations of cyber-physical systems / André Platzer

Includes bibliographical references (pages 651-652) and index.

Lưu vào:

Hiển thị chi tiết
Tác giả chính:	Platzer, André
Định dạng:	text
Ngôn ngữ:	eng
Thông tin xuất bản:	Springer,
Chủ đề:	Cooperating objects (Computer systems) Embedded computer systems Autonomic computing Cybernetics Computer science Artificial intelligence Logic, Symbolic and mathematical Mechatronics Khoa Công nghệ Thông tin
Truy cập trực tuyến:	http://elib.ntt.edu.vn/documentdata01/2 tailieuthamkhao/000 tinhocthongtin/anhbiasach/21380_logicalfoundationsofcyberphys_kthumbimage.jpg http://elib.ntt.edu.vn/Opac/DmdInfo.aspx?dmd_id=21380
Từ khóa:	Thêm từ khóa bạn đọc Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!

Tài liệu tương tự

Logical Foundations of Cyber-Physical Systems
Thông tin tác giả:: Platzer, André
Thông tin xuất bản: (2020)

MAC Protocols for Cyber-Physical Systems
Thông tin tác giả:: Xia, Feng, và những người khác
Thông tin xuất bản: (2015)

Embedded system design : embedded systems, foundations of cyber-physical systems, and the internet of things / Peter Marwedel, Lars Wehmeyer, Peter Marwedel
Thông tin tác giả:: Marwedel, Peter, và những người khác

High - performance embedded computing : applications in cyber - physical systems and mobile computing / Marilyn Wolf
Thông tin tác giả:: Wolf, Marilyn

Embedded systems dictionary [electronic resource] / Jack Ganssle, Michael Barr.
Thông tin tác giả:: Ganssle, Jack G., và những người khác

Analog interfacing to embedded microprocessor systems : [real worlddesign] / Stuart R. Ball.
Thông tin tác giả:: Ball, Stuart R., 1956-, và những người khác

Security of Industrial Control Systems and Cyber-Physical Systems
Thông tin tác giả:: Cuppens-Boulahia, Nora, và những người khác
Thông tin xuất bản: (2020)

Computer Organization and Embedded Systems
Thông tin tác giả:: Hamacher, V. Carl, và những người khác
Thông tin xuất bản: (2018)

Designing embedded communications software / T. Sridhar
Thông tin tác giả:: Sridar, T

System-on-a-chip :design and test /Rochit Rajsuman.
Thông tin tác giả:: Rajsuman, Rochit.

Linux for embedded and real-time applications / by Doug Abbott.
Thông tin tác giả:: Abbott, Doug.

Building embedded Linux systems / Karim Yaghmour.
Thông tin tác giả:: Yaghmour, Karim.

Embedded Linux primer : a practical, real-world approach / Christopher Hallinan.
Thông tin tác giả:: Hallinan, Christopher.

Analog interfacing to embedded microprocessors / Stuart Ball : real world design
Thông tin tác giả:: Ball, Stuart

Nghiên cứu phát triển ứng dụng và giao thức trong lĩnh vực hệ thống nhúng mạng internet không dây / Lê Trung Quân, Nguyễn Minh Sơn, Hồng Vương Anh.
Thông tin tác giả:: Lê, Trung Quân,TS.
Thông tin xuất bản: (2018)

Embedded FreeBSD cookbook [electronic resource] / by Paul Cevoli.
Thông tin tác giả:: Cevoli, Paul.

Temporal Logic and State Systems
Thông tin tác giả:: Kröger, Fred
Thông tin xuất bản: (2017)

Engineering Embedded Systems
Thông tin tác giả:: Hintenaus, Peter
Thông tin xuất bản: (2015)

Embedded systems building blocks : complete and ready-to-use modules in C / Jean J. Labrosse.
Thông tin tác giả:: Labrosse, Jean J.

Testing Embedded Software / Bart Broekman, Edwin Notenboom
Thông tin tác giả:: Broekman, Bart, và những người khác

Cyber-Physical Systems of Systems
Thông tin tác giả:: Bondavalli, Andrea, và những người khác
Thông tin xuất bản: (2020)

Philosophical and mathematical logic / Harrie De Swart
Thông tin tác giả:: Swart, H. C. M. de

Cyber Physical Systems. Model-Based Design
Thông tin tác giả:: Chamberlain, Roger, và những người khác
Thông tin xuất bản: (2020)

Mathematical logic : on numbers, sets, structures, and symmetry / Roman author Kossak
Thông tin tác giả:: Kossak, Roman1953-

Formal Specification Level Concepts, Methods, and Algorithms
Thông tin tác giả:: Soeken, Mathias, và những người khác
Thông tin xuất bản: (2015)

Paraconsistent Intelligent-Based Systems New Trends in the Applications of Paraconsistency
Thông tin tác giả:: Abe, Jair M
Thông tin xuất bản: (2015)

Real-time concepts for embedded systems / Qing Li ; with Caroline Yao.
Thông tin tác giả:: Li, Qing, 1971-, và những người khác

Embedded robotics : mobile robot design and applications with embedded systems / Thomas Bräun
Thông tin tác giả:: Bräunl, Thomas

Foundations of neural networks, fuzzy systems, and knowledge engineering / Nikola K. Kasabov.
Thông tin tác giả:: Kasabov, Nikola K.

Logic with trees [electronic resource] : an introduction to symbolic logic / Colin Howson.
Thông tin tác giả:: Howson, Colin., và những người khác

Embedded controller hardware design [electronic resource] / by Ken Arnold.
Thông tin tác giả:: Arnold, Ken, 1958-

Cyber Physical Systems. Design, Modeling, and Evaluation
Thông tin tác giả:: Berger, Christian, và những người khác
Thông tin xuất bản: (2020)

Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems
Thông tin tác giả:: Bajo, Javier, và những người khác
Thông tin xuất bản: (2020)

Machine Learning for Cyber Physical Systems
Thông tin tác giả:: Beyerer, Jürgen, và những người khác
Thông tin xuất bản: (2020)

Machine Learning for Cyber Physical Systems
Thông tin tác giả:: Beyerer, Jürgen, và những người khác
Thông tin xuất bản: (2020)

Security-Aware Design for Cyber-Physical Systems
Thông tin tác giả:: Lin, Chung-Wei, và những người khác
Thông tin xuất bản: (2020)

Design of embedded control systems / [edited by] Marian Andrzej Adamski, Andrei Karatkevich and Marek Wegrzyn
Thông tin tác giả:: Adamski, Marian, và những người khác

Wireless Java [electronic resource] : developing with J2ME / Jonathan Knudsen.
Thông tin tác giả:: Knudsen, Jonathan., và những người khác

Designing Socially Embedded Technologies in the Real-World
Thông tin tác giả:: Wulf, Volker, và những người khác
Thông tin xuất bản: (2015)

Programming embedded systems in C and C++. [computer file]
Thông tin tác giả:: Barr, Michael., và những người khác