|
Search the dblp DataBase
Osamu Arai:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Osamu Arai, Hamido Fujita
Mathematical structure model for Word-Based Program. [Citation Graph (0, 0)][DBLP] Knowl.-Based Syst., 2003, v:16, n:7-8, pp:399-411 [Journal]
Towards Verifying Declarative Specifications of Reactive Systems. [Citation Graph (, )][DBLP]
Design Concept of Automatic Program Generation Tool for Reactive Requirement. [Citation Graph (, )][DBLP]
New Verification of Reactive Requirement for Lyee Method. [Citation Graph (, )][DBLP]
Towards Developing Adjustable Software: A Case Study with the Lyee Approach. [Citation Graph (, )][DBLP]
Verification of the Lyee requirement. [Citation Graph (, )][DBLP]
Towards a Verification-Based Development Approach for Reactive Systems. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|