Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009151339/catalog> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- catalog abstract "This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.".
- catalog contributor b12893344.
- catalog contributor b12893345.
- catalog contributor b12893346.
- catalog contributor b12893347.
- catalog created "2003.".
- catalog date "2003".
- catalog date "2003.".
- catalog dateCopyrighted "2003.".
- catalog description "Includes bibliographical references and index.".
- catalog description "Optimal Scheduling Using Branch and Bound with SPIN 4.0 / Theo C. Ruys -- A Requirements Patterns-Driven Approach to Specify Systems and Check Properties / Sascha Konrad, Laura A. Campbell, Betty H.C. Cheng and Min Deng -- Formal Modeling and Analysis of an Avionics Triplex Sensor Voter / Samar Dajani-Brown, Darren Cofer, Gary Hartmann and Steve Pratt.".
- catalog description "This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.".
- catalog extent "viii, 239 p. :".
- catalog identifier "3540401172 (softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 2648".
- catalog issued "2003".
- catalog issued "2003.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.1/4 21".
- catalog subject "Computer science.".
- catalog subject "Computer software Verification Congresses.".
- catalog subject "Logic design.".
- catalog subject "QA76.76.V47 I58 2003".
- catalog subject "SPIN (Computer file) Congresses.".
- catalog subject "Software engineering.".
- catalog tableOfContents "Optimal Scheduling Using Branch and Bound with SPIN 4.0 / Theo C. Ruys -- A Requirements Patterns-Driven Approach to Specify Systems and Check Properties / Sascha Konrad, Laura A. Campbell, Betty H.C. Cheng and Min Deng -- Formal Modeling and Analysis of an Avionics Triplex Sensor Voter / Samar Dajani-Brown, Darren Cofer, Gary Hartmann and Steve Pratt.".
- catalog title "Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings / Thomas Ball, Sriram K. Rajamani (eds.).".
- catalog type "Conference proceedings. fast".
- catalog type "Portland (Or., 2003) swd".
- catalog type "text".