Вы здесь

Murata T.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets 1996 Murata T. Lecture Notes in Computer Science 01.08.1996
СТ A Petri Net Model for Nonmonotonic Reasoning Based on Annotated Logic Programs 1994 Lin C., Murata T. IEICE Trans. 22.02.1995
СТ State Diagram Matrix for Hierarchical Specification of Reactive System 1993 Murata T., Kuriharak., Ashida A. IEICE Trans. 20.04.1994
СТ 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