Search Results - Buhnova, B.

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Software Architecture Optimization Methods: A Systematic Literature Review

    Software Architecture Optimization Methods: A Systematic Literature Review by Aleti, A., Buhnova, B., Grunske, L., Koziolek, A., Meedeniya, I.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Architecture-Based Reliability Prediction with the Palladio Component Model

    Architecture-Based Reliability Prediction with the Palladio Component Model by Brosch, F., Koziolek, H., Buhnova, B., Reussner, R.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Partial order reduction for state/event LTL with application to component-interaction automata

    Partial order reduction for state/event LTL with application to component-interaction automata by Beneš, N., Brim, L., Buhnova, B., Černá, I., Sochor, J., Vařeková, P.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: