Showing 1 - 7 results of 7 for search 'Plášil, František', query time: 0.14s Refine Results
  1. 1
    Behavior Composition in Component Systems
    by Adámek, Jiří
    Published 2006
    Other Authors: “...Plášil, František...”
    Get full text
    Doctoral Thesis
  2. 2
    Generating Connectors for Homogenous and Heterogenous Deployment
    by Bureš, Tomáš
    Published 2006
    Other Authors: “...Plášil, František...”
    Get full text
    Doctoral Thesis
  3. 3
    Formal Verfication of Components in Java
    by Parízek, Pavel
    Published 2008
    Other Authors: “...Plášil, František...”
    Get full text
    Doctoral Thesis
  4. 4
    Fighting the State Explosion Problem in Component Protocols
    by Holub, Viliam
    Published 2007
    Other Authors: “...Plášil, František...”
    Get full text
    Doctoral Thesis
  5. 5
    Behavior Protocols Extensions
    by Kofroň, Jan
    Published 2007
    Other Authors: “...Plášil, František...”
    Get full text
    Doctoral Thesis
  6. 6
    Automatická veri kace software
    by Šerý, Ondřej
    Published 2010
    Other Authors: “...Plášil, František...”
    Get full text
    Doctoral Thesis
  7. 7
    Specifikace chování komponent zohledňující vlákna
    by Poch, Tomáš
    Published 2010
    Other Authors: “...Plášil, František...”
    Get full text
    Doctoral Thesis
Search Tools: Get RSS Feed — Email this Search