Towards Designing FPGA-Based Systems by Refinement in B

Sergii Ostroumov, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko

    Forskningsoutput: Kapitel i bok/konferenshandlingKapitelVetenskapligPeer review

    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationDependability and Computer Engineering: Concepts for Software-Intensive Systems
    RedaktörerL Petre, K Sere, E Troubitsyna
    FörlagInformation science reference IGI
    Sidor92–112
    ISBN (elektroniskt)978-1-60960-748-7
    ISBN (tryckt)978-1-60960-747-0
    DOI
    StatusPublicerad - 2011
    MoE-publikationstypA3 Del av bok eller annan forskningsbok

    Citera det här