22 results on '"Ural, Hasan"'
Search Results
2. Reduced checking sequences using unreliable reset
3. Minimizing the number of inputs while applying adaptive test cases
4. Distributed testing without encountering controllability and observability problems
5. Formal specification of an information gateway service interface in Estelle
6. Step-wise validation of communication protocols and services
7. Data flow oriented test selection for lotos
8. Specifications of distributed systems in prolog
9. High-level testing and example-directed development of software specifications
10. Modified distributed snapshots algorithm for protocol stabilization
11. Synchronizable test sequence generation using UIO sequences
12. Formal methods for test sequence generation
13. ASNST: an Abstract Syntax Notation-One support tool
14. Test sequence selection based on static data flow analysis
15. Protocol validation by simultaneous reachability analysis
16. Construction of checking sequences based on characterization sets
17. The synchronization problem in protocol testing and its complexity
18. Exact solutions for the construction of optimal length test sequences
19. A structural test selection criterion
20. Three tutorial papers on protocol specification, validation, and design
21. Erratum to ‘Protocol validation by simultaneous reachability analysis’: [Computer Communications 20 (1997) 772–788]
22. Erratum to “Construction of checking sequences based on characterization sets”: [Computer Communications 18 (1995) 911–920]
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.