System Requirements and Formal Specifications of Hierarchical Reactive Systems.

Atsushi Togashi, Xiaosong Lu, Fumiaki Kanezashi

Browse the full ICPADS paper archive.