Verisim: formal analysis of network simulations (English)
- New search for: Bhargavan, K.
- New search for: Gunter, C.A.
- New search for: Kim, Moonjoo
- New search for: Lee, Insup
- New search for: Obradovic, D.
- New search for: Sokolsky, O.
- New search for: Viswanathan, M.
- New search for: Bhargavan, K.
- New search for: Gunter, C.A.
- New search for: Kim, Moonjoo
- New search for: Lee, Insup
- New search for: Obradovic, D.
- New search for: Sokolsky, O.
- New search for: Viswanathan, M.
In:
IEEE Transactions on Software Engineering
;
28
, 2
;
129-145
;
2002
-
ISSN:
- Article (Journal) / Print
-
Title:Verisim: formal analysis of network simulations
-
Contributors:Bhargavan, K. ( author ) / Gunter, C.A. ( author ) / Kim, Moonjoo ( author ) / Lee, Insup ( author ) / Obradovic, D. ( author ) / Sokolsky, O. ( author ) / Viswanathan, M. ( author )
-
Published in:IEEE Transactions on Software Engineering ; 28, 2 ; 129-145
-
Publisher:
-
Publication date:2002
-
Size:17 Seiten, 25 Quellen
-
ISSN:
-
Coden:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 28, Issue 2
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 113
-
Guest Editors' Introduction: 2000 International Symposium on Software Testing and AnalysisHarrold, M.J. / Bertolino, A. et al. | 2002
- 113
-
SPECIAL SECTION ON THE 2000 INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS - Guest Editors' Introduction: 2000 International Symposium on Software Testing and AnalysisHarrold, M.J. et al. | 2002
- 115
-
SPECIAL SECTION ON THE 2000 INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS - Improving the Precision of INCA by Eliminating Solutions with Spurious CyclesSiegel, S.F. et al. | 2002
- 115
-
Improving the precision of INCA by eliminating solutions with spurious cyclesSiegel, S.F. / Avrunin, G.S. et al. | 2002
- 129
-
Verisim: formal analysis of network simulationsBhargavan, K. / Gunter, C.A. / Moonjoo Kim, / Insup Lee, / Obradovic, D. / Sokolsky, O. / Viswanathan, M. et al. | 2002
- 129
-
SPECIAL SECTION ON THE 2000 INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS - Verisim: Formal Analysis of Network SimulationsBhargavan, K. et al. | 2002
- 146
-
Requirements-based monitors for real-time systemsPeters, D.K. / Parnas, D.L. et al. | 2002
- 146
-
SPECIAL SECTION ON THE 2000 INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS - Requirements-Based Monitors for Real-Time SystemsPeters, D.K. et al. | 2002
- 159
-
SPECIAL SECTION ON THE 2000 INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS - Test Case Prioritization: A Family of Empirical StudiesElbaum, S. et al. | 2002
- 159
-
Test case prioritization: a family of empirical studiesElbaum, S. / Malishevsky, A.G. / Rothermel, G. et al. | 2002
- 183
-
SPECIAL SECTION ON THE 2000 INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS - Simplifying and Isolating Failure-Inducing InputZeller, A. et al. | 2002
- 183
-
Simplifying and isolating failure-inducing inputZeller, A. / Hildebrandt, R. et al. | 2002
- 201
-
REGULAR PAPERS - Multiphase StabilizationGouda, M.G. et al. | 2002
- 201
-
Multiphase stabilizationGouda, M.G. et al. | 2002