A Time-constrained Verifiable Architecture-based Self-adaptive Software Programming Framework.

Atsushi Naito, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Browse the full COMPSAC paper archive.