×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [state space explosion]
art%3A10.1007%2Fs10270-004-0077-7
1 views
Computer Networks Performance Evaluation. Chapter 12 Single Class MVA Performance by Design: Computer Capacity Planning by Example Daniel A. Menascé,
216 views
Admohammadi @ yahoo.com SUT-System Level Performance Models admohammadi @ yahoo.com SUT-System Level Performance Models8-1 chapter12 Single Class MVA
217 views
Concurrency Analysis of Java RMI Using Source Transformation and Verisoft By Tim Cassidy Supervised by Jim Cordy Tom Dean
216 views
Optimal Degree Distribution for LT Codes with Small Message Length Esa Hyytiä, Tuomas Tirronen, Jorma Virtamo IEEE INFOCOM mini-symposium 2007 1
214 views
ESA PetriNet: Petri Net Tool for Reliability Analysis
21 views
MODEL CHECKING WITH SPIN MODELING AND VERIFICATION WITH SPIN ANDREA ORLANDINI – ISTC (CNR) TexPoint fonts used in EMF. Read the TexPoint manual before
218 views
Abstraction and Compositional Verification Techniques for Asynchronously Communicating Components Marjan Sirjani Tehran University, IPM FMCO’06 Amsterdam
227 views
Model Checking with SPIN Modeling and Verification with SPIN
48 views
Victor Khomenko
28 views
Yang Liu, Jun Sun and Jin Song Dong School of Computing National University of Singapore
223 views
Towards Interoperability Test Generation of Time Dependent Protocols: a Case Study Zhiliang Wang, Jianping Wu, Xia Yin Department of Computer Science Tsinghua
225 views
< Prev
Next >