1. Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction. (1st January 2014) Authors: Harrath, Nesrine; Monsuez, Bruno Journal: International journal of critical computer-based systems Issue: Volume 5:Number 3/4(2014) Page Start: 268 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. SystemC waiting state automata. (1st January 2012) Authors: Harrath, Nesrine; Monsuez, Bruno Journal: International journal of critical computer-based systems Issue: Volume 3:Number 1/2(2012) Page Start: 60 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗