A model for concurrent states and its coverage criteria.

Hideharu Kojima, Yoshiaki Kakuda, Juichi Takahashi, Tomoyuki Ohta

Browse the full ISADS paper archive.