8 results on '"Krka, Ivo"'
Search Results
2. Automatic mining of specifications from invocation traces and method invariants
3. Architecture-level reliability prediction of concurrent systems
4. From requirements to partial behavior models
5. Probabilistic automata for architecture-based reliability assessment
6. Using dynamic execution traces and program invariants to enhance behavioral model inference
7. Synthesizing and utilizing partial behavior models during requirements elicitation
8. Synthesizing partial component-level behavior models from system specifications
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.