Formal methods for networks on chips

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)
Original languageEnglish
Title of host publication5th International Conference on Application of Concurrency to System Design, ACSD 2005, 7 June 2005 through 9 June 2005, St. Malo
Pages188-189
DOIs
Publication statusPublished - 2005

Cite this

Goossens, K. G. W. (2005). Formal methods for networks on chips. In 5th International Conference on Application of Concurrency to System Design, ACSD 2005, 7 June 2005 through 9 June 2005, St. Malo (pp. 188-189) https://doi.org/10.1109/ACSD.2005.36