Algebraic specification
Related papers: 2
Top Researchers
Top Cited Papers
Linking schemas and module specifications for distributed systems
Michael A. Arbib, Hartmut Ehrig
Citations: 8 • 2002
Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method
Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata
Citations: 6 • 2021