most citedProcess Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2018★ 1 cited

Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine

Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros +1

Existing model-based processes for embedded real-time systems support the analysis of various non-functional properties, most notably schedulability, through model checking, simula…