1763 results in Software Engineering and Development
III - Systems with Complex State
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 153-154
-
- Chapter
- Export citation
Index
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 341-349
-
- Chapter
- Export citation
10 - Modeling Systems with Structured State
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 155-182
-
- Chapter
- Export citation
3 - Why We Need Model-Based Analysis
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 32-52
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp xv-xvi
-
- Chapter
- Export citation
Preface
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp xi-xiv
-
- Chapter
- Export citation
V - Appendices
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 279-280
-
- Chapter
- Export citation
8 - Testing Closed Systems
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 137-149
-
- Chapter
- Export citation
5 - Model Programs
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 57-93
-
- Chapter
- Export citation
14 - Compositional Modeling
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 223-246
-
- Chapter
- Export citation
Contents
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp v-x
-
- Chapter
- Export citation
II - Systems with Finite Models
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 55-56
-
- Chapter
- Export citation
IV - Advanced Topics
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 221-222
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 333-340
-
- Chapter
- Export citation
9 - Further Reading
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 150-152
-
- Chapter
- Export citation
I - Overview
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 1-2
-
- Chapter
- Export citation
C - Glossary
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 315-332
-
- Chapter
- Export citation
A - Modeling Library Reference
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 281-307
-
- Chapter
- Export citation
15 - Modeling Objects
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 247-258
-
- Chapter
- Export citation
6 - Exploring and Analyzing Finite Model Programs
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 94-114
-
- Chapter
- Export citation