Temat: verification technique - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "verification technique" wg kryterium: Temat

Wyświetlanie 1-8 z 8

Zaznacz

Skocz do pozycji: 1.

Tytuł:: A fault verification method for testing of analogue electronic circuits
Autorzy:: Tadeusiewicz, M.
Hałgas, S.
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: analogue circuits
multiple-fault diagnosis
Powell's method
verification technique; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A fault verification method for testing of analogue electronic circuits
Autorzy:: Tadeusiewicz, M.
Hałgas, S.
Data publikacji:: 2018
Słowa kluczowe:: analogue circuits
multiple-fault diagnosis
Powell's method
verification technique; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A Verification Technique for Multiple Soft Fault Diagnosis of Linear Analog Circuits
Autorzy:: Tadeusiewicz, M.
Ossowski, M.
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: analog circuits
fault diagnosis
linear circuits
multiple soft fault
verification technique; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: A Verification Technique for Multiple Soft Fault Diagnosis of Linear Analog Circuits
Autorzy:: Tadeusiewicz, M.
Ossowski, M.
Data publikacji:: 2018
Słowa kluczowe:: analog circuits
fault diagnosis
linear circuits
multiple soft fault
verification technique; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Verifying Untimed Version of the WMF Protocol Using networks of Autamata
Autorzy:: Grondys, K.
Kurkowski, M.
Sowik, A.
Szczypior, I.
Data publikacji:: 2006
Słowa kluczowe:: protokoły uwierzytelniania kryptograficznego
weryfikacja
technika Model Checking
cryptograpic authentication protocols
verification
Model Checking technique; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Formalna weryfikacja maszyny stanów z wykorzystaniem logiki temporalnej
Autorzy:: Grobelna, I.
Data publikacji:: 2009
Słowa kluczowe:: algorytmiczna maszyna stanów
ASM
logika temporalna
technika Model Checking
algorithmic state machines ASM
temporal logic
formal verification of specification
Model Checking technique; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Formalna weryfikacja maszyny stanów z wykorzystaniem logiki temporalnej
Formal verification of a state machine with use of temporal logic
Autorzy:: Grobelna, I.
Data publikacji:: 2009
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: algorytmiczne maszyny stanów ASM
logika temporalna
technika Model Checking
algorithmic state machines ASM
temporal logic
formal verification of specification
Model Checking technique; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Skin-effect in Conductor of Rectangular Cross-section - Approximate Solution
Autorzy:: Kosek, M.
Truhlar, M.
Richter, A.
Data publikacji:: 2012
Słowa kluczowe:: prąd wirowy
efekt naskórkowości
rozkład gęstości prądu
eddy current
2D skin-effect
massive conductor
iterative technique
magnetic field measurement
2D skin-effect verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-8 z 8

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies