An integration environment to put formal specifications into practical use in real-time systems
Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira
研究成果: Conference contribution
3
被引用数
(Scopus)