Szukana fraza: [Temat i słowa kluczowe = sieci Petriego] lub [Temat i słowa kluczowe = binarne diagramy decyzyjne] lub [Temat i słowa kluczowe = układy programowalne] lub [Temat i słowa kluczowe = układy FPGA] lub [Temat i słowa kluczowe = język UML] lub [Temat i słowa kluczowe = układy cyfrowe] lub [Temat i słowa kluczowe = modelowanie] lub [Temat i słowa kluczowe = systemy reaktywne] lub [Temat i słowa kluczowe = język SpecCharts] lub [Temat i słowa kluczowe = programowa maszyna stanów] lub [Temat i słowa kluczowe = notacja graficzna] lub [Temat i słowa kluczowe = diagramy statechart] lub [Temat i słowa kluczowe = stany proste] lub [Temat i słowa kluczowe = stany złożone] lub [Temat i słowa kluczowe = zdarzenia] lub [Temat i słowa kluczowe = tranzycje proste] lub [Temat i słowa kluczowe = tranzycje złożone] lub [Temat i słowa kluczowe = atrybut historii] lub [Temat i słowa kluczowe = stany synchronizujące] lub [Temat i słowa kluczowe = determinizm] lub [Temat i słowa kluczowe = system Cosma] lub [Temat i słowa kluczowe = systemy CAD] lub [Temat i słowa kluczowe = HiCoS] lub [Temat i słowa kluczowe = język SSF] lub [Temat i słowa kluczowe = rozprawa doktorska] lub [Temat i słowa kluczowe = nauki techniczne] lub [Temat i słowa kluczowe = informatyka] lub [Temat i słowa kluczowe = informatyka \(KBN\)] lub [Temat i słowa kluczowe = podstawy teoretyczne informatyki \(PKT\)] lub [Tytuł = Wykorzystanie hierarchicznego modelu współbieżnego automatu w projektowaniu sterowników cyfrowych] lub [Autor = Łabiak, Grzegorz]

Wyników: 478