SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
|
SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
|
Proceedings of the 7th International SPIN Workshop, held in Stanford, CA, USA, August 30September 1, 2000. This workshop has a broad focus, including papers on software verification, which were not included in the past, and it has led to new research developments. Softcover.
There are no reviews for this item.
Write Review
Your Name:
Your Review: Note: HTML is not translated!
Rating: Bad Good
Enter the code in the box below:
 Natural language processing for online applications: text retrieval, extraction and categorization Isabelle Moulinier, Peter Jackson |
 Neuro-fuzzy and soft computing: a computational approach to learning and machine intelligence Chuen-Tsai Sun, Eiji Mizutani, Jyh-Shing Roger Jang |
||
 The Neural Simulation Language: A System for Brain Modeling Alfredo Weitzenfeld, Amanda Alexander, Michael A. Arbib |
 Formal Approaches to Software Testing and Runtime Verification Burkhart Wolff, Grigore Rosu, Klaus Havelund, Manuel Núnez |
|
|
Related Categories:
