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

Presentation
表紙

,  

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

,  

[Date]1997/3/18
[Paper #]
Model-checking method based on Binary Decision Diagram for real-time systems

Satoshi Yamane,  Kazuhiro Nakamura,  

[Date]1997/3/18
[Paper #]SS96-56
Detection Algorithm for Non-Deterministic Feature Interactions Using Petri-Net

Masahide Nakamura,  Yoshiaki Kakuda,  Tohru Kikuno,  

[Date]1997/3/18
[Paper #]SS96-57
Scheduling Backup Tasks for Fault-Tolerance in Real-Time Multiprocessor Systems

Masaya Mori,  Tatsuhiro Tsuchiya,  Tohru Kikuno,  

[Date]1997/3/18
[Paper #]SS96-58
Development of Self-Evolving Database to Support Research Activities

Atsushi FUTAKATA,  

[Date]1997/3/18
[Paper #]SS96-59
Recent Topics on Software Engineering

Ken-ichi Matsumoto,  

[Date]1997/3/18
[Paper #]SS96-60
[OTHERS]

,  

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