Identifying safety properties guaranteed in changed environment at runtime
Kazuya Aizawa, Kenji Tei, Shinichi Honiden
研究成果: Conference contribution
4
被引用数
(Scopus)