Вы здесь

Murata T.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Verification of Error Recovery Specification for Distributed Data by Using Colored Petri Nets 1991 Akatsu M., Murata T., Kurihara K. IEICE Trans. 19.12.1991
СТ State Diagram Matrix for Hierarchical Specification of Reactive System 1993 Murata T., Kuriharak., Ashida A. IEICE Trans. 20.04.1994
СТ A Petri Net Model for Nonmonotonic Reasoning Based on Annotated Logic Programs 1994 Lin C., Murata T. IEICE Trans. 22.02.1995
СТ Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets 1996 Murata T. Lecture Notes in Computer Science 01.08.1996