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
    Pages92–112
    ISBN (Electronic)978-1-60960-748-7
    ISBN (Print)978-1-60960-747-0
    DOIs
    Publication statusPublished - 2011
    MoE publication typeA3 Part of a book or another research book

    Cite this