Probabilistic Verification for Modular Network-on-Chip Systems

Lecture notes in computer science 2026 Open access

Read full text
Authors: Nick Waddoups, Jonah Boe, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang
DOI: 10.1007/978-3-032-15700-3_18
Cited by: 0
References: 50

Fields of Study & Subjects

Interconnection Networks and Systems Formal Methods in Verification Embedded Systems Design Techniques

Publication details

Journal / source
Lecture notes in computer science
Pages
383–407
Publication date
1 January 2026
Language
EN