Jump to main content

yr 〜
yr

Search results 2

Component-based algebraic specification and verification in cafeOBJ

Component-based algebraic specification and verification in cafeOBJ
Digital文書・図像類
Diaconescu, Razvan, Futatsugi, Kokichi, Iida, Shusaku北陸先端科学技術大学院大学情報科学研究科1999-05-06Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-99-0020Sp.1-20
Other Libraries in Japan
  • Author HeadingDiaconescu, Razvan Futatsugi, Kokichi Iida, Shusaku

Concurrent object composition in CafeOBJ

Concurrent object composition in CafeOBJ
Digital文書・図像類
Iida, Shusaku, Matsumoto, Michihiro, Diaconescu, Razvan, Futatsugi, Kokichi, Lucanu, Dorel北陸先端科学技術大学院大学情報科学研究科1998-02-20Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-98-0009Sp.1-40
Other Libraries in Japan
  • Author HeadingIida, Shusaku Matsumoto, Michihiro Diacones...

Reached to the end of result.

RSS