STeC: A Location-Triggered Specification Language for Real-Time Systems.

Yixiang Chen

Browse the full ISORC paper archive.