Number of the records: 1
Functional verification for UML - based model driven design of embedded systems
Title statement Functional verification for UML - based model driven design of embedded systems Main entry-name Kardoš, Martin (Author) - FEI Katedra informatiky a výpočtovej techniky In IFIP Series. -- Vol. 184 From Specification to Embedded Systems Application. IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), August 15-17, 2005, Manaus, Brazil (2005), s.103-114 Subj. Headings embedded system design UML AsmL formal verification Language English Document kind RBX - článok z periodika Category ADC - Scientific titles in foreign carented magazines and noticed year-books Category (from 2022) V3 - Vedecký výstup publikačnej činnosti z časopisu article
Number of the records: 1