Výsledky vyhľadávania

Nájdených záznamov: 3  
Váš dotaz: Autor-kód záznamu = "^stu_us_auth stus15672^"

  1. 1.Control system for deposit safe

    Control system for deposit safe / aut. Štefan Chamraz, Richard Balogh
    Chamraz Štefan ; 030400  Balogh Richard ; 030400
    Process Control 2019 : . S. 140-145
    embedded system design real-time control serial communication
    https://ieeexplore.ieee.org/document/8815037
    článok zo zborníka
    AFD - Publikované príspevky na domácich vedeckých konferenciách
    V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
    článok

    článok

  2. 2.IFIP Series

    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

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

    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 - Vedecké práce v zahraničných karentovaných časopisoch
    V3 - Vedecký výstup publikačnej činnosti z časopisu
    článok

    článok