Formal Specification for Real Time Cyber Physical Systems Using Aspect-Oriented Approach.

Lichen Zhang

Browse the full TASE paper archive.