Communication-Communication Systems(Date:1997/01/24)

Presentation
表紙

,  

[Date]1997/1/24
[Paper #]
目次

,  

[Date]1997/1/24
[Paper #]
The Software Metrics technique which utilizes a technique of Telecommunication Software support

Yoshihiro UEDA,  Akira TSURUOKA,  Tsuyoshi ANDO,  

[Date]1997/1/24
[Paper #]CST96-25
On the Liveness of Time POC Nets with Some Restriction on Firing Delays of Transitions

Atsushi OHTA,  Tomiji HISAMURA,  

[Date]1997/1/24
[Paper #]CST96-26
The Set of Realizable Firing Time Sequences in Timed Event Graphs

Shigemasa Takai,  Shinzo Kodama,  

[Date]1997/1/24
[Paper #]CST96-27
Concurrent Engineering as Creation Process : Proposition for Concurrent Management System of Product Development Process

Masataka YAMAMOTO,  Katsuhisa SAITO,  

[Date]1997/1/24
[Paper #]CST96-28
Reachability Criterion for Petri Nets with Known Firing Count Vector

Tadashi MATSUMOTO,  Yasushi MIYANO,  

[Date]1997/1/24
[Paper #]CST96-29
Minimum Length Legal Firing Sequences for Submarking Reachability Problems in Petri Nets

Tadashi MTATSUMOTO,  

[Date]1997/1/24
[Paper #]CST96-30
Canonical Decomposition and Minimal Realizations of Deterministic Finite Automata by Means of State Space Models

Takeo IKAI,  Kazuhisa FURUSAWA,  Kunio FUKUNAGA,  

[Date]1997/1/24
[Paper #]CST96-31
Nondeterministic Minimization of Finite Automata based on the Matroid Theory

Koji WATANABE,  Takeo IKAI,  Kunio FUKUNAGA,  

[Date]1997/1/24
[Paper #]CST96-32
Minimal Realizations of Nondeterministic Finite Automata via Hankel Matrices

Masayuki MASUMOTO,  Takeo IKAI,  Kunio FUKUNAGA,  

[Date]1997/1/24
[Paper #]CST96-33
[OTHERS]

,  

[Date]1997/1/24
[Paper #]