The bidirectional safety analysis & validation framework of system and software with its techniques and applications.

Haifeng Li, Chang Liu, Huancheng Su

Browse the full QRS paper archive.