Specification and Verification of Time Properties in Distributed Automation Systems during Test Planning Phase.

Silvije Jovalekic, Tri Nguyen

Browse the full COMPSAC paper archive.