Towards Designing FPGA-Based Systems by Refinement in B

Sergii Ostroumov; Elena Troubitsyna; Linas Laibinis; Vyacheslav Kharchenko

doi:10.4018/978-1-60960-747-0.ch006

Towards Designing FPGA-Based Systems by Refinement in B

Sergii Ostroumov, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko

Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	Dependability and Computer Engineering: Concepts for Software-Intensive Systems
Editors	L Petre, K Sere, E Troubitsyna
Publisher	Information science reference IGI
Pages	92–112
ISBN (Electronic)	978-1-60960-748-7
ISBN (Print)	978-1-60960-747-0
DOIs	https://doi.org/10.4018/978-1-60960-747-0.ch006
Publication status	Published - 2011
MoE publication type	A3 Part of a book or another research book

Access to Document

10.4018/978-1-60960-747-0.ch006

Cite this

@inbook{cd3c84ccd9754de482b6064e0c01c45b,

title = "Towards Designing FPGA-Based Systems by Refinement in B",

author = "Sergii Ostroumov and Elena Troubitsyna and Linas Laibinis and Vyacheslav Kharchenko",

year = "2011",

doi = "10.4018/978-1-60960-747-0.ch006",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-1-60960-747-0",

pages = "92–112",

editor = "L Petre and K Sere and E Troubitsyna",

booktitle = "Dependability and Computer Engineering: Concepts for Software-Intensive Systems",

publisher = "Information science reference IGI",

}

Towards Designing FPGA-Based Systems by Refinement in B. / Ostroumov, Sergii; Troubitsyna, Elena; Laibinis, Linas; Kharchenko, Vyacheslav.

Dependability and Computer Engineering: Concepts for Software-Intensive Systems. ed. / L Petre; K Sere; E Troubitsyna. Information science reference IGI, 2011. p. 92–112.

Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review

TY - CHAP

T1 - Towards Designing FPGA-Based Systems by Refinement in B

AU - Ostroumov, Sergii

AU - Troubitsyna, Elena

AU - Laibinis, Linas

AU - Kharchenko, Vyacheslav

PY - 2011

Y1 - 2011

U2 - 10.4018/978-1-60960-747-0.ch006

DO - 10.4018/978-1-60960-747-0.ch006

M3 - Kapitel

SN - 978-1-60960-747-0

SP - 92

EP - 112

BT - Dependability and Computer Engineering: Concepts for Software-Intensive Systems

A2 - Petre, L

A2 - Sere, K

A2 - Troubitsyna, E

PB - Information science reference IGI

ER -