Information and Systems-Software Science(Date:2001/05/21)

Presentation
表紙

,  

[Date]2001/5/21
[Paper #]
目次

,  

[Date]2001/5/21
[Paper #]
The Undecidability of the Satisfiability in a Process Logic for a True Concurrent Process Algebra

Yoshinao Isobe,  Kazuhito Ohmaki,  

[Date]2001/5/21
[Paper #]SS2001-1
Automatic Refinement Verification based on Deductive Model Checking for Infinite-State Systems

CHIKAHIRO UMEDA,  SATOSHI YAMANE,  

[Date]2001/5/21
[Paper #]SS2001-2
Model Checking Method for Program Using Program Slicing

Makoto Kanto,  Toshikazu Seguchi,  Satoshi Yamane,  

[Date]2001/5/21
[Paper #]SS2001-3
An Approach to a Parallel Task Scheduling on a Multiprocessor System

Akio Tada,  Ryozo Nakamura,  

[Date]2001/5/21
[Paper #]SS2001-4
Comparison between Subroutines for Solving Simultaneous Equations which are Used to Obtain Frequency Spectrum of Signals

Teiji Ohta,  

[Date]2001/5/21
[Paper #]SS2001-5
[OTHERS]

,  

[Date]2001/5/21
[Paper #]