Repozytorium Uniwersytetu Zielonogórskiego udostępnia 9 272 obiektów cyfrowych
Obiekt
Tytuł: On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets
Współtwórca:
Puig, Vicenç - ed. ; Sauter, Dominique - ed. ; Aubrun, Christophe - ed. ; Schulte, Horst - ed.
Podtytuł:
Tytuł publikacji grupowej:
Abstract:
Wydawca:
Zielona Góra: Uniwersytet Zielonogórski
Identyfikator zasobu:
DOI:
Strony:
Źródło:
AMCS, volume 28, number 2 (2018) ; kliknij tutaj, żeby przejść
Jezyk:
Licencja CC BY 4.0:
Prawa do dysponowania publikacją:
Biblioteka Uniwersytetu Zielonogórskiego
Kolekcje, do których przypisany jest obiekt:
- Repozytorium > Jednostki organizacyjne > Wydział Informatyki, Elektrotechniki i Automatyki
- Repozytorium > Typy utworów > Artykuły
- Repozytorium > Czasopisma naukowe i serie wydawnicze UZ > International Journal of Applied Mathematics and Computer Science (AMCS) > International Journal of Applied Mathematics and Computer Science (AMCS) (2018)
Data ostatniej modyfikacji:
14 lip 2025
Data dodania obiektu:
8 lip 2025
Liczba wyświetleń treści obiektu:
25
Wszystkie dostępne wersje tego obiektu:
https://zbc.uz.zgora.pl/repozytorium/publication/100810
Wyświetl opis w formacie RDF:
Wyświetl opis w formacie OAI-PMH:
-
-
-
-
-
-
-
-
-
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 28, number 1 (2018)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 28, number 2 (2018)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 28, number 3 (2018)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 28, number 4 (2018)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
| Nazwa wydania | Data |
|---|---|
| On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets | 14 lip 2025 |
Obiekty Podobne
Olive, Xavier Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Ruiz, Diego Finke, Jorge Kobusińska, Anna - ed. Hsu, Ching-Hsien - ed. Lin, Kwei-Jay - ed.
Gruzlikov, Alexander M. Kolesov, Nikolai V. Tolmacheva, Marina V. Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Gu, Tianlong Dong, Rongsheng Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Berdjag, Denis Cocquempot, Vincent Christophe, Cyrille Shumsky, Alexey Zhirabok, Alexey Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Majdzik, Paweł Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Laursen, Morten Blanke, Mogens Düştegör, Dilek Korbicz, Józef (1951- ) - ed. Sauter, Dominique - ed.
Kościelny, Jan Maciej Syfert, Michał Rostek, Kornel Sztyber, Anna Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
