Temat: computer aided verification

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ę "computer aided verification" wg kryterium: Temat

Wyświetlanie 1-6 z 6

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Stubborn sets for model checking the EF/AG fragment of CTL
Autorzy:: Schmidt, K.
Data publikacji:: 2000
Słowa kluczowe:: computer aided verification
model checking
partial order reduction; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Narrowing Petri Net State Spaces Using the State Equation
Autorzy:: Schmidt, K.
Data publikacji:: 2001
Słowa kluczowe:: computer aided verification
Petri net
reachability analysis
state equation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Computer aided prototyping of workflow control
Autorzy:: Mądry, M.
Stańczyk, J.
Banaszak, Z.
Data publikacji:: 2000
Słowa kluczowe:: computer aided prototyping
workflow control
production planning verification
multiassortment orders
computer aided planning production
system
software package; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Verification of the deposit model and determining the course of the fault in the entire rock mass
Autorzy:: Sokoła-Szewioła, Violetta
Poniewiera, Marian
Data publikacji:: 2022
Wydawca:: Akademia Morska w Szczecinie. Wydawnictwo AMSz
Tematy:: geology
mining
verification of mineral deposit model
mining numerical maps
discontinuity lines
faults
computer aided design; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Verification of the deposit model and determining the course of the fault in the entire rock mass
Autorzy:: Sokoła-Szewioła, Violetta
Poniewiera, Marian
Data publikacji:: 2022
Słowa kluczowe:: geology
mining
verification of mineral deposit model
mining numerical maps
discontinuity lines
faults
computer aided design; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Weryfikacja procesu projektowania z wykorzystaniem narzędzia SolidWorks Motion
Autorzy:: Pasieka, D.
Woźniak, S.
Data publikacji:: 2012
Słowa kluczowe:: komputerowe wspomaganie projektowania
analiza projektu
weryfikacja projektu
SolidWorks
MS-20 DAGLEZJA
most towarzyszący na podwoziu kołowym
computer-aided design
analysis of the project
verification of the project
supporting bridge on a wheeled chassis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-6 z 6

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

Informacja

Wyszukujesz frazę "computer aided verification" wg kryterium: Temat