Towards Designing FPGA-Based Systems by Refinement in B

A3 Book section, Chapters in research books


Internal Authors/Editors


Publication Details

List of Authors: Sergey Ostroumov, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko
Editors: Petre L, Sere K, Troubitsyna E
Publisher: IGI Global
Publication year: 2011
Publisher: Information science reference IGI
Book title: Dependability and Computer Engineering: Concepts for Software-Intensive Systems
Start page: 92
End page: 112
ISBN: 978-1-60960-747-0
eISBN: 978-1-60960-748-7

Last updated on 2019-15-11 at 04:04

Share link