An integration environment to put formal specifications into practical use in real-time systems

Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira

研究成果: Conference contribution

3 被引用数 (Scopus)

フィンガープリント

「An integration environment to put formal specifications into practical use in real-time systems」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science