Towards Designing FPGA-Based Systems by Refinement in B

Sergii Ostroumov, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaLukuTieteellinenvertaisarvioitu

    AlkuperäiskieliEi tiedossa
    OtsikkoDependability and Computer Engineering: Concepts for Software-Intensive Systems
    ToimittajatL Petre, K Sere, E Troubitsyna
    KustantajaInformation science reference IGI
    Sivut92–112
    ISBN (elektroninen)978-1-60960-748-7
    ISBN (painettu)978-1-60960-747-0
    DOI - pysyväislinkit
    TilaJulkaistu - 2011
    OKM-julkaisutyyppiA3 Kirjan osa tai toinen tutkimuskirja

    Viittausmuodot