Wynik wyszukiwania
Zapytanie: NIEMIEC H
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: 0000087340
Tytuł oryginału: Automatyczna weryfikacja formalna układu elektronicznego w oparciu o schemat ideowy
Autorzy: M. Szelest, Jacek Izydorczyk, H. Niemiec, M. Jabłeka.
Źródło: -Elektronika 2013 R. 54 nr 8, s. 111-114, bibliogr. 20 poz.
Punktacja MNiSW: 8.000
p-ISSN: 0033-2089
Słowa kluczowe polskie: układ elektroniczny ; schemat ideowy ; EDA ; weryfikacja formalna
Słowa kluczowe angielskie: electronic circuit ; schematic diagram ; EDA ; formal verification
Typ publikacji: A
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w PŚl.
Lokalizacja Źródła: PŚl. sygn. P.2411
Dostęp on-line:


stosując format:
Nowe wyszukiwanie