Written for researchers and scientists, this book presents advanced reference material for readers who already have a basic understanding of NoC and are now ready to learn how to specify, develop, and verify ANoC using rigorous approaches. Exploring the theoretical knowledge required to achieve this, the text also presents formal and practical aspects in a straightforward way by detailing elemental components and briefly touching on the more advanced ones. The authors demonstrate how to use formal ANoC methods while making sound judgments and allowing for reasonable justifications.
