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 61966 )

[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, Vol. 96, s. 20--31, ISSN: 1383-7621, : bibliogr.rys.tab.summ.
Słowa kluczowe: Decomposition, Distributed system, Edge computing, Petri net
Kod: CZR-JCR    BibTeX   (pkt: 20)    DOI: 10.1016/j.sysarc.2019.01.015         Cytowania wg Scopus: 0 [20-05-2019]
[AWCZ-23563] [data modyf: 25-03-2019 13:34]

[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: 2 [20-05-2019]
[AWCZ-22891] [data modyf: 19-10-2018 13:02]


Czas generacji strony: 0,10 s.


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