Project details


Software Components in Embedded Systems: Development and Verification (Components in Embedded Systems)

Project Identification:GAP202/11/0312
Project Period:3/2011 - 12/2013
Investor:link to a new windowCzech Science Foundation
Programme / Project Type:Standard Projects -
MU Faculty/Unit:
Faculty of Informatics
MU Investigator:Prof. RNDr. Ivana Černá, CSc.
Project Team Member:Assoc. Prof. RNDr. Jiří Barnat, Ph.D.
RNDr. Nikola Beneš, Ph.D.
Prof. RNDr. Luboš Brim, CSc.
Cooperating Organization:
link to a new windowCharles University Prague