Počet záznamov: 1  

Functional verification for UML - based model driven design of embedded systems

  1. Údaje o názveFunctional verification for UML - based model driven design of embedded systems
    Záhlavie-meno Kardoš, Martin (Autor) - 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
    Predmet.heslá embedded system design
    UML
    AsmL
    formal verification
    Jazyk dok.angličtina
    Druh dok.RBX - článok z periodika
    KategóriaADC - Vedecké práce v zahraničných karentovaných časopisoch
    Kategória od 2022V3 - Vedecký výstup publikačnej činnosti z časopisu
    článok

    článok

Počet záznamov: 1  

  Tieto stránky využívajú súbory cookies, ktoré uľahčujú ich prezeranie. Ďalšie informácie o tom ako používame cookies.

Prijať všetkoNastavenieOdmietnuť všetko