Wszystkie pola: automatic 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ę "automatic verification" wg kryterium: Wszystkie pola

Wyświetlanie 1-2 z 2

Zaznacz

Skocz do pozycji: 1.

Tytuł:: An automatic formal verification tool for schematic-level design of an electrical project
Autorzy:: Szelest, Marcin
Data publikacji:: 2014
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Automatic generation and verification of railway interlocking control tables using FSM and NuSMV
Autorzy:: Mirabadi, Ahmad
Współwytwórcy:: Yazdi, Mohammad B.
Data publikacji:: 2009
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Wyświetlanie 1-2 z 2

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ę "automatic verification" wg kryterium: Wszystkie pola