Вы здесь

Futatsugi K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Structuring and Derivation in Algebraic Specification/Programming Language System 1991 Futatsugi K. J. Information Processing 25.09.1991
СТ Algebraic Approaches for Nets Using Formulas to Describe Practical Software Systems 1993 Ohmaki K., Sato Y., Ogata I., Futatsugi K. IEICE Trans. 20.04.1994
СТ Component-Based Algebraic Specification and Verification in CafeOBJ 1999 Diaconescu R., Futatsugi K., Iida S. Lecture Notes in Computer Science 26.10.1999
СТ Verifying Behavioural Specifications in CafeOBJ Environment 1999 Mori A., Futatsugi K. Lecture Notes in Computer Science 26.10.1999
СТ Highly Reliable Component-Based Software Development by using Algebraic Behavioral Specification 2000 Matsumoto M., Futatsugi K. Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000 26.12.2000
СТ Formal Methods in CafeOBJ 2002 Futatsugi K. Lecture Notes in Computer Science 25.10.2002
СТ Formal Verification of the Horn-Preneel Micropayment Protocol 2003 Ogata K., Futatsugi K. Lecture Notes in Computer Science 31.01.2003
СТ Proof Scores in the OTS/CafeOBJ Method 2003 Ogata K., Futatsugi K. Lecture Notes in Computer Science 18.12.2003