Formal Specification Level
Concepts, Methods, and Algorithms

Mã QR

Formal Specification Level Concepts, Methods, and Algorithms

This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Soeken, Mathias, Drechsler, Rolf
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer 2015
Những chủ đề:	General Computers Embedded computer systems Natural language processing
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58133
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

Designing Socially Embedded Technologies in the Real-World
Bỡi: Wulf, Volker, et al.
Được phát hành: (2015)

Embedded and networking systems

Embedded microcomputer systems
Bỡi: Jonathan W. Valvano
Được phát hành: (2007)

Embedded microcomputer systems
Bỡi: Jonathan W. Valvano
Được phát hành: (2007)

Embedded software and systems :
Được phát hành: (2005)

Embedded microcomputer systems
Bỡi: Jonathan W. Valvano
Được phát hành: (2007)

Embedded microcomputer systems
Bỡi: Valvano, Jonathan W.
Được phát hành: (2007)

Embedded microcomputer systems
Bỡi: Valvano, Jonathan W.
Được phát hành: (2000)

Formal Concept Analysis
Bỡi: Bertet, Karell, et al.
Được phát hành: (2020)

Data Mining - Concepts, Models, Methods, and Algorithms, Third Edition
Bỡi: Kantardzic
Được phát hành: (2020)

Engineering Embedded Systems
Bỡi: Hintenaus, Peter
Được phát hành: (2015)

Programming in the OSEK/VDX environment
Bỡi: Lemieux, Joseph
Được phát hành: (2001)

Programming in the OSEK/VDX environment
Bỡi: Lemieux, Joseph
Được phát hành: (2001)

Customizable embedded processors :
Được phát hành: (2006)

Building embedded Linux systems /
Bỡi: Yaghmour, Karim.
Được phát hành: (2003)

Formal Concept Analysis
Bỡi: Medina, Raoul, et al.
Được phát hành: (2020)

Formal Concept Analysis
Bỡi: Kuznetsov, Sergei O., et al.
Được phát hành: (2020)

Formal Concept Analysis
Được phát hành: (2020)

Spoken language processing : a guide to theory, algorithm, and system development /
Bỡi: Huang, Xuedong.
Được phát hành: (2001)

Formal Concept Analysis
Bỡi: Ganter, Bernhard, et al.
Được phát hành: (2020)

MAC Protocols for Cyber-Physical Systems
Bỡi: Xia, Feng, et al.
Được phát hành: (2015)

Model-Driven Design Using IEC 61499: A Synchronous Approach for Embedded and Automation Systems
Bỡi: Yoong, L.H, et al.
Được phát hành: (2015)

Embedded systems : architecture, programming and design
Bỡi: Kamal, Raj
Được phát hành: (2015)

Teaching Formal Methods
Được phát hành: (2020)

See MIPS run
Bỡi: Sweetman, Dominic.
Được phát hành: (2007)

Formal Methods and Software Engineering
Được phát hành: (2020)

Formal Methods for Components and Objects
Được phát hành: (2020)

Formal Methods: Foundations and Applications
Được phát hành: (2020)

Formal Methods and Software Engineering
Được phát hành: (2020)

FM 2008: Formal Methods
Bỡi: Cuellar, Jorge, et al.
Được phát hành: (2020)

Formal Methods for Web Services
Được phát hành: (2020)

Embedded Microcomputer Systems
Bỡi: Jonathan Valvano
Được phát hành: (2007)

Formal Grammar
Bỡi: Foret, Annie, et al.
Được phát hành: (2020)

ZB 2005: Formal Specification and Development in Z and B
Được phát hành: (2020)

Integrated Formal Methods
Bỡi: Ahrendt, Wolfgang, et al.
Được phát hành: (2020)

Software Engineering and Formal Methods
Bỡi: Cerone, Antonio, et al.
Được phát hành: (2020)

Advanced Boolean Techniques
Bỡi: Drechsler, Rolf, et al.
Được phát hành: (2020)

Formal Methods for Components and Objects
Được phát hành: (2020)

Activity and understanding : structure of action and orientated linguistics /
Bỡi: Fain, V. S.
Được phát hành: (1995)

Activity and understanding : structure of action and orientated linguistics /
Bỡi: Fain, V. S.
Được phát hành: (1995)