Work

Probabilistic Verification for Reliable Network-on-Chip System Design

Year: 2019

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-030-27008-7_7

Authors: Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Rajesh Jayashankara Shridevi, Koushik Chakraborty, Sanghamitra Roy, Zhen Zhang

Institutions: Utah State University, University of Twente

Language: English

Topic: Interconnection Networks and Systems

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: closed

Funder: Nederlandse Organisatie voor Wetenschappelijk Onderzoek

Award: Verification of Cyber-Physical Systems: Exploiting Uncertainty for Scalability

OpenAlex ID: W2969243003

FWCI: 0.375

Cites: 33

Cited by: 5

Related to: 10