Modeling and Formal Validation of High-Performance Embedded Systems.

Abdoulaye Gamati, ric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser

Browse the full ISPDC paper archive.