Algebraic specification

相关论文数: 2

顶级研究者

Michael A. Arbib

研究机构: —

Masaki Nakamura

研究机构: —

Kazuhiro Ogata

研究机构: —

Kazutoshi Sakakibara

研究机构: —

Hartmut Ehrig

研究机构: —

Yuki Okura

研究机构: —

最高引用论文

Linking schemas and module specifications for distributed systems

Michael A. Arbib, Hartmut Ehrig

引用数: 8 • 2002

Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method

Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata

引用数: 6 • 2021

相关技术

Artificial intelligenceComputer scienceMathematicsRobotTheoretical computer scienceProgramming languageSoftware engineeringMathematical proofInformation retrievalProperty (philosophy)