|
|
|
|
References
|
|
| |
| 1. |
Skobcov Yu. A., Skobcov V. Yu., Logical modeling and testing of digital devices, IAMM NAS of Ukraine, DonNTU, Doneck, 2005, 436 pp. (in Russian) |
| 2. |
Zakrevskij A. D., Pottosin Yu. V., Cheremisinova L. D., Fundamentals of logic design, UIIP NAN of Belorus, Minsk, 2006, 254 pp. (in Russian) |
| 3. |
Chernov A. V., Sergeeva E. A., “Autocorrelational testing of digital combinational circuits”, Modern problems of science and education, 2013, no. 6 (in Russian)   |
| 4. |
SOAP Version 1.2 Part 1: Messaging Framework (Second Edition), https://www.w3.org/TR/soap12/ (05.02.2018) |
| 5. |
Wilde E., Pautasso C., REST: From Research to Practice, Springer Science & Business Media, 2011, 528 pp. |
| 6. |
Fielding R. T., Architectural Styles and the Design of Network-based Software Architectures, Chapter 5 http://www.ics.uci.edu/f̃ielding/pubs/dissertation/rest_arch_style.htm (05.02.2018) |
| 7. |
Harris D., Harris S., Digital Design and Computer Architecture, Morgan Kaufmann, 2012, 712 pp. |
| 8. |
Silva L. G. e, Silveira L. M., Marques-Silva J. P., “Algorithms for Solving Boolean Satisfiability in Combinational Circuits”, Proceedings of DATE’99, 1999, 526-530 |
| 9. |
Niklas Eén, Niklas Sörensson, The MiniSAT: http://minisat.se/Main.html (16.10.2017) |
| 10. |
ABC: A System for Sequential Synthesis and Verification: https://people.eecs.berkeley.edu/ãlanmi/abc/ (16.10.2017) |
| 11. |
FreeBSD Manual Pages. timeout: https://www.freebsd.org/cgi/man.cgi?query=timeout&sektion=1 (05.02.2018) |
