| 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 | |
| Publication status | Published - 2011 |
| MoE publication type | A3 Part of a book or another research book |
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