Basket

    1.
    0479234 - ÚT 2018 RIV PL eng J - Journal Article
    Schreier, Luděk - Bendl, Jiří - Chomát, Miroslav
    Analysis of Properties of Induction Machine with Combined Parallel Star-Delta Stator Winding.
    Maszyny elektryczne - Zeszyty Problemowe. Roč. 113, č. 1 (2017), s. 147-153. ISSN 0239-3646
    R&D Projects: GA ČR(CZ) GA16-07795S
    Institutional support: RVO:61388998
    Keywords : induction machine * parallel combined stator winding
    OECD category: Electrical and electronic engineering
    Permanent Link: http://hdl.handle.net/11104/0279783
     
     
    2.
    0344069 - ÚI 2011 RIV DE eng C - Conference Paper (international conference)
    Ratschan, Stefan
    Safety Verification of Non-linear Hybrid Systems is Quasi-Semidecidable.
    Theory and Applications of Models of Computation. Berlin: Springer, 2010 - (Kratochvíl, J.; Li, A.; Fiala, J.; Kolman, P.), s. 397-408. Lecture Notes in Computer Science, 6108. ISBN 978-3-642-13561-3. ISSN 0302-9743.
    [TAMC 2010. Theory and Applications of Models of Computation Annual Conference /7./. Prague, (CZ), 07.06.2010-11.06.2010]
    R&D Projects: GA ČR GC201/08/J020
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : verification * hybrid systems * decidebility
    Subject RIV: IN - Informatics, Computer Science
    Permanent Link: http://hdl.handle.net/11104/0186379
    FileDownloadSizeCommentaryVersionAccess
    a0344069.pdf0198.7 KBPublisher’s postprintrequire
     
     

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

Accept allSettingsReject all