Wynik wyszukiwania
Zapytanie: MODEL CHECKING
Liczba odnalezionych rekordów: 2



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/2
Nr opisu: 0000136915
Tytuł oryginału: A wideband current shunt.
Autorzy: Maciej Malinowski, Marian Kampik, Michał Grzenik, Krzysztof Kubiczek, Kordian Dudzik.
Źródło: W: 2020 Conference on Precision Electromagnetic Measurements (CPEM). Piscataway : Institute of Electrical and Electronics Engineers, 2020, s. 1-2, bibliogr. 8 poz.
ISBN: 978-1-7281-5899-0978-1-7281-5898-3
Liczba arkuszy wydawniczych: 0,2
Bazy indeksujące publikację: IEEE Xplore
DOI:
Słowa kluczowe polskie: różnica transferowa AC-DC ; bocznik prądowy ; pomiar prądu ; model matematyczny ; Matlab ; weryfikacja modelowa ; symulacja numeryczna ; symulacja komputerowa
Słowa kluczowe angielskie: AC-DC difference ; current shunt ; current measurement ; mathematical model ; Matlab ; model checking ; numerical simulation ; computer simulation
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w PŚl.
Dostęp on-line:


2/2
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