Wynik wyszukiwania
Zapytanie: MODEL CHECKING
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   
Extending GPenSIM for model checking on Petri nets.
[Aut.]: R. Davidrajuh, Damian Krenczyk.
-Int. J. Simul. Syst. Sci. Technol. 2019 vol. 20, paper no. 13 s. 1-8, bibliogr. 30 poz.. Punktacja MNiSW 20.000

weryfikacja modelowa ; sieci Petriego ; GPenSIM

model checking ; Petri nets ; GPenSIM

stosując format:
Nowe wyszukiwanie