Search results

Records found: 2  
Your query: Author Sysno = "^stu_us_auth stus15674^"
  1. 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
    article

    article

  2. 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
    journal

    journal



  This site uses cookies to make them easier to browse. Learn more about how we use cookies.