Languages, Design Methods, and Tools for Electronic System Design:Selected Contributions from FDL 2013

Mã QR

Languages, Design Methods, and Tools for Electronic System Design:Selected Contributions from FDL 2013

This book brings together a selection of the best papers from the sixteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2013 in Paris, France. FDL is a well-established international forum devoted to dissemination of research results, prac...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Louërat, Marie-Minerve, Maehne, Torsten
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer 2015
Những chủ đề:	Engineering Circuits and Systems Formal methods (Computer science) Congresses
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/57514
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ự

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Bỡi: Counsell, Steve, et al.
Được phát hành: (2015)

Formal Methods: Foundations and Applications
Bỡi: Davies, Jim, et al.
Được phát hành: (2015)

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Bỡi: Bernardo, Marco, et al.
Được phát hành: (2015)

Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /
Được phát hành: (2001)

Languages, Design Methods, and Tools for Electronic System Design
Bỡi: Kazmierski, Tom J., et al.
Được phát hành: (2020)

Languages, Design Methods, and Tools for Electronic System Design. 1st ed. 2018
Bỡi: Fummi, Franco, et al.
Được phát hành: (2020)

Robustness and Usability in Modern Design Flows
Bỡi: Fey, Görschwin, et al.
Được phát hành: (2020)

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Bỡi: Núñez, Manuel, et al.
Được phát hành: (2015)

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Bỡi: Bjørner, Nikolaj, et al.
Được phát hành: (2015)

High-Performance AD and DA Converters, IC Design in Scaled Technologies, and Time-Domain Signal Processing: Advances in Analog Circuit Design 2014
Bỡi: Harpe, Pieter, et al.
Được phát hành: (2016)

Automated Electronic Filter Design
Bỡi: Banerjee, Amal
Được phát hành: (2020)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
Bỡi: Baixeries, Jaume, et al.
Được phát hành: (2015)

Tolerance design of electronic circuits /
Bỡi: Spence, Robert, 1933-
Được phát hành: (1997)

Tolerance design of electronic circuits /
Bỡi: Spence, Robert, 1933-
Được phát hành: (1997)

Fundamentals of Layout Design for Electronic Circuits. 1st ed.
Bỡi: Lienig, Jens, et al.
Được phát hành: (2020)

Proceedings of the workshop semigroups and languages
Được phát hành: (2004)

Fundamentals of Electronic Systems Design
Bỡi: Lienig, Jens, et al.
Được phát hành: (2020)

Automated Electronic Filter Design. 2nd ed. 2018
Bỡi: Banerjee, Amal
Được phát hành: (2020)

Fundamentals of electronic circuit design
Bỡi: Comer, David J
Được phát hành: (2003)

Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 /
Được phát hành: (2002)

Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Bỡi: Graf, Susanne, et al.
Được phát hành: (2015)

Formal analysis of hybrid prefix/carry-select arithmetic systems /

Electronic design with off-the-shelf integrated circuits
Bỡi: Meiksin, Z. H.
Được phát hành: (1984)

Advances in Web-Based Learning – ICWL 2013 Workshops: USL 2013, IWSLL 2013, KMEL 2013, IWCWL 2013, WIL 2013, and IWEEC 2013, Kenting, Taiwan, October 6-9, 2013, Revised Selected Papers
Bỡi: Chiu, D.K.W, et al.
Được phát hành: (2015)

Verification techniques for system-level design
Bỡi: Fujita, Masahiro
Được phát hành: (2008)

Microelectronic circuit design
Bỡi: Richard C. Jaeger
Được phát hành: (2008)

Electronics System Design Techniques for Safety Critical Applications
Bỡi: Sterpone, Luca
Được phát hành: (2020)

Designing Reliable Distributed Systems
Bỡi: Ölveczky, Peter Csaba
Được phát hành: (2020)

Digital design
Bỡi: Wakerly, John F.

Modern VLSI design : IP-based design
Bỡi: Wolf, Marilyn
Được phát hành: (2009)

Telecommunications network design and management
Bỡi: Anandalingam, G.
Được phát hành: (2003)

Systems Research and Design :
Bỡi: Eckinman, Donald P.
Được phát hành: (1961)

VLSI Design: Circuits, Systems and Applications
Bỡi: Li, Jie, et al.
Được phát hành: (2020)

Informatics in Control, Automation and Robotics: 10th International Conference, ICINCO 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papers
Bỡi: Ferrier, J.-L, et al.
Được phát hành: (2016)

Analog Circuit Design /
Bỡi: Dobkin, Bob
Được phát hành: (2015)

Fundamentals of Electromigration-Aware Integrated Circuit Design
Bỡi: Lienig, Jens, et al.
Được phát hành: (2020)

Design of Systems on a Chip: Design and Test
Bỡi: Reis, Ricardo, et al.
Được phát hành: (2020)

Business Modeling and Software Design: 4th International Symposium, BMSD 2014, Luxembourg, Luxembourg, June 24-26, 2014, Revised Selected Papers
Bỡi: Shishkov, Boris
Được phát hành: (2015)

Circuit Design for Reliability
Bỡi: Reis, Ricardo, et al.
Được phát hành: (2015)

Digital integrated circuit design
Bỡi: Ken Martin
Được phát hành: (2000)