• Skip the Organizational structure panel
• Organizational structure

  On selecting a constituent part of MU the "Overview of publishing activities" page will be displayed with information relevant to the selected constituent part. The "Overview of publishing activities" page is not available for non-activated items.

  Masaryk University

  • Faculties
  • Law
  • Medicine
  • Science
  • Arts
  • Education
  • Economics
  • Informatics
  • Social Studies
  • Sports Studies

  • Institutes
  • Computer Science
  • CEITEC MU
  • Politica
  • Specialized Units
  • Hostels & Canteens
  • University Press
  • Telč Centre
  • UCB Management

  • Rector`s Office
  • Rectorate
  • Other Units
  • Archive
  • Language Centre
  • International Studies
  • Disabled Students
  • Technology Transfer
  • Biostatistics
  • Mendel Museum
  • CERIT
  • Civic Education
  • Project Team CEITEC

   

Publication details

Formal Verification of Component-based Architectures - Motivation, Methods & Challenges

Basic information
Original title:	Formal Verification of Component-based Architectures - Motivation, Methods & Challenges
Author:	Ivana Černá

Further information
Citation:	ČERNÁ, Ivana. Formal Verification of Component-based Architectures - Motivation, Methods & Challenges. 2010.
Original language:	English
Field:	Informatika
Type:	Vyžádané přednášky
Keywords:	component systems; formal verification

Invited lecture at FESCA 2010 workshop (see http://fesca.ipd.kit.edu/fesca2010/)dedicated to the problems of modelling and verification of compoment systems

Related projects:

• Highly Parallel and Distributed Computing Systems
• Verification and Analysis of Large-Scale Computer Systems