Search

Your search keyword '"Krka, Ivo"' showing total 34 results

Search Constraints

Start Over You searched for: Author "Krka, Ivo" Remove constraint Author: "Krka, Ivo"
34 results on '"Krka, Ivo"'

Search Results

1. Revisiting Compatibility of Input-Output Modal Transition Systems

2. A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation

6. Requirements Management for Net-Centric Enterprises. Phase 2

14. Requirements Management for Net-Centric Enterprises. Phase 1

15. Requirements Management for Net-Centric Enterprises. Phase 2

16. RT-25: Requirements Management for Net-Centric Enterprises. Phase 1

31. Obtaining Ground-Truth Software Architectures.

32. Probabilistic automata for architecture-based reliability assessment.

33. Using dynamic execution traces and program invariants to enhance behavioral model inference.

Catalog

Books, media, physical & digital resources