Sign In | Not yet a member? | Submit your article
 
Home   Technical   Study   Novel   Nonfiction   Health   Tutorial   Entertainment   Business   Magazine   Arts & Design   Audiobooks & Video Training   Cultures & Languages   Family & Home   Law & Politics   Lyrics & Music   Software Related   eBook Torrents   Uncategorized  

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Date: 23 June 2011, 01:30
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.
The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.

DISCLAIMER:

This site does not store Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) on its server. We only index and link to Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) provided by other sites. Please contact the content providers to delete Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) if any and email us, we'll remove relevant links or contents immediately.


Posts related to "Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)"
Biomedical Simulation: 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) Biomedical Simulation: 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

ISBN/ASIN: 3540705201
Total size: 17.7 MB
WALCOM: Algorithms and Computation: Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues) WALCOM: Algorithms and Computation: Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues)

ISBN/ASIN: 354077890X
Total size: 3 MB
Algorithmic Number Theory: 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) Algorithmic Number Theory: 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

ISBN/ASIN: 3642145175
Total size: 1.5 MB
Rainbow of Computer Science: Essays Dedicated to Hermann Maurer on the Occasion of His 70th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) Rainbow of Computer Science: Essays Dedicated to Hermann Maurer on the Occasion of His 70th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

ISBN/ASIN: 3642193900
Total size: 5 MB
25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) 25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

ISBN/ASIN: 3540698493
Total size: 4 MB
Selected Areas in Cryptography: 15th Annual International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, 2008 (Lecture Notes in Computer Science / Security and Cryptology) Selected Areas in Cryptography: 15th Annual International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, 2008 (Lecture Notes in Computer Science / Security and Cryptology)

ISBN/ASIN: 3642041582
Total size: 4.5 MB
Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

ISBN/ASIN: 3540714928
Total size: 13 MB
Artificial Immune Systems: 8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) Artificial Immune Systems: 8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

ISBN/ASIN: 3642032451
Total size: 13.7 MB
Biomedical Simulation: 5th International Symposium, ISBMS 2010, Phoenix, AZ, USA, January 23-24, 2010. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) Biomedical Simulation: 5th International Symposium, ISBMS 2010, Phoenix, AZ, USA, January 23-24, 2010. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

ISBN/ASIN: 3642116140
Total size: 7 MB

Comments

Comments (0) All

Verify: Verify

    Sign In   Not yet a member?


Popular searches
running