System Komputerowej Ewidencji Publikacji

Strona główna   |   Skorowidz nazwisk   |   Raporty   |   Przesyłanie plików źródłowych   |   Kategorie osiągnięć naukowych   |   Dyscypliny naukowe   |   Wyloguj PBN
 
Więcej
z którymkolwiek ze słów
ze wszystkimi słowami
skonstruuj wyrażenie logiczne Pomoc
 

Wyniki wyszukiwania

Szukanie: w opisie bibliograficznym
Wprowadzona fraza: {Journal of Systems Architecture}
Opublikowane w latach: 1960 - 2019
Grupowanie: brak
Znaleziono: 2 ( spośród około 61203 )

[1] Decomposition of Distributed Edge Systems Based on the Petri Nets and Linear Algebra Technique / Remigiusz Wiśniewski, Andrei Karatkevich, Łukasz Stefanowicz, Marcin Wojnakowski // Journal of Systems Architecture .- 2019, s. 1, ISSN: 1383-7621, : bibliogr.rys.summ.
Kod: CZR-JCR    BibTeX   (pkt: 20)
[AWCZ-23563] [data modyf: 22-01-2019 10:02]

[2] Model checking of reconfigurable FPGA modules specified by Petri nets / Iwona Grobelna // Journal of Systems Architecture .- 2018, Vol. 89, s. 1--9, ISSN: 1383-7621, : bibliogr.rys.tab.summ.
Słowa kluczowe: FPGA, concurrent controllers, formal verifiation, model checking, requirements
Kod: CZR-JCR    BibTeX   (pkt: 20)    DOI: 10.1016/j.sysarc.2018.06.005         Cytowania wg Scopus: 0 [18-02-2019]
[AWCZ-22891] [data modyf: 19-10-2018 13:02]


Czas generacji strony: 0,09 s.


kontakt techniczny: skep@bu.uz.zgora.pl
© 2001-2019 Uniwersytet Zielonogórski