Search results
- Functional verification for UML - based model driven design of embedded systems
Kardoš Martin ; E220
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
embedded system design UML AsmL formal verification
článok z periodika
ADC - Scientific titles in foreign carented magazines and noticed year-books
V3 - Vedecký výstup publikačnej činnosti z časopisu - IFIP Series
Rettberg Achim (Editor) Zanella Mauro C (Editor) Rammig Franz J (Editor)
Springer Verlag, 2005
Berlin Heidelberg : Springer Verlag
Vol. 184 From Specification to Embedded Systems Application. IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), August 15-17, 2005, Manaus, Brazil, rok 2005 . - 320 s
ISBN 0-387-27557-6
embedded system design UML AsmL formal verification
IFIP Series :
ročník a/alebo číslo časopisu
(1) - článok