Wynik wyszukiwania
Zapytanie: INT J SIMUL SYST SCI TECHNOL
Liczba odnalezionych rekordów: 1



Przejście do opcji zmiany formatu | Wyświetlenie wyników w wersji do druku | Pobranie pliku do edytora | Przesłanie wyników do modułu analizy | excel | Nowe wyszukiwanie
1/1
Nr opisu: 0000131196
Tytuł oryginału: Extending GPenSIM for model checking on Petri nets
Autorzy: R. Davidrajuh, Damian Krenczyk.
Źródło: -Int. J. Simul. Syst. Sci. Technol. 2019 vol. 20, paper no. 13 s. 1-8, bibliogr. 30 poz.
Punktacja MNiSW: 20.000
p-ISSN: 1374-804X
e-ISSN: 1473-8031
DOI:
Słowa kluczowe polskie: weryfikacja modelowa ; sieci Petriego ; GPenSIM
Słowa kluczowe angielskie: model checking ; Petri nets ; GPenSIM
Typ publikacji: A
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w PŚl.
Dostęp on-line:


stosując format:
Nowe wyszukiwanie