Zobrazuji výsledky 1 - 2 z 2 pro vyhledávání 'Stefanescu, Alin', doba hledání: 0,03 s. Upřesnit hledání
  1. 1
    Remarks on the difficulty of top-down supervisor synthesis

    Remarks on the difficulty of top-down supervisor synthesis Autor Lin, Liyong., Su, Rong., Stefanescu, Alin.

    Vydáno 2013
    Získat plný text
    Získat plný text
    Conference Paper
  2. 2
    Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates

    Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates Autor Lin, Liyong, Stefanescu, Alin, Wang, Weilin, Su, Rong, Wonham, Walter Murray

    Vydáno 2020
    Získat plný text
    Journal Article

Vyhledávací nástroje: