Login / Signup
PARTS-a temporal logic-based real-time software specification method supporting multiple-viewpoints.
Kyo Chul Kang
Kwang-Il Ko
Published in:
APSEC (1994)
Keyphrases
</>
viewpoint
detection method
region of interest
multiple viewpoints