Towards Designing FPGA-Based Systems by Refinement in B

Sergii Ostroumov, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko

Research output: Chapter in Book/Conference proceedingChapterScientificpeer-review

Original languageUndefined/Unknown
Title of host publicationDependability and Computer Engineering: Concepts for Software-Intensive Systems
EditorsL Petre, K Sere, E Troubitsyna
PublisherInformation science reference IGI
ISBN (Electronic)978-1-60960-748-7
ISBN (Print)978-1-60960-747-0
Publication statusPublished - 2011
MoE publication typeA3 Part of a book or another research book

Cite this