Information and Systems-Software Science(Date:1997/09/18)

Presentation
表紙

,  

[Date]1997/9/18
[Paper #]
目次

,  

[Date]1997/9/18
[Paper #]
The improvement of sensitivity factor in the software reliability growth model based on the hyper-geometric distribution

Osamu Miyakawa,  Yoshihiro Tohma,  

[Date]1997/9/18
[Paper #]SS97-20
A Consideration on Efficient Implementations of Order-sorted Term Rewriting

Kazuhiro Ogata,  Kokichi Futatsugi,  

[Date]1997/9/18
[Paper #]SS97-21
Application of Protocol Verification Simulator to Protocol for Connection Establishment

Shin'ichi Nagano,  Yoshiaki Kakuda,  Tohru Kikuno,  

[Date]1997/9/18
[Paper #]SS97-22
Solving "No-solution" Problems based on Homomorphism Theorem of Logic Programs

Kiyoshi Akama,  Hiroshi Mabuchi,  Eiichi Miyamoto,  

[Date]1997/9/18
[Paper #]SS97-23
Experimental ATM Network Systems by PVC in a themapark

Motosuke GOTO,  Tomoyoshi MORIYAMA,  Nobuyosi NINOKATA,  Hideo KURODA,  

[Date]1997/9/18
[Paper #]SS97-24
[OTHERS]

,  

[Date]1997/9/18
[Paper #]