Computer Software
Print ISSN : 0289-6540
Special Paper
Behavioural Analysis of the EJB Component Architecture with SPIN
Shin NakajimaTetsuo Tamai
Author information
JOURNAL FREE ACCESS

2002 Volume 19 Issue 2 Pages 82-98

Details
Article 1st page
Content from these authors
© Japan Society for Software Science and Technology 2002
Previous article Next article
feedback
Top