Výsledky vyhľadávania

  1. IFIP Series
    Rettberg Achim (ed.)  Zanella Mauro C (ed.) Rammig Franz J (ed.)
    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
    časopis

    časopis