Temat: verification technique

Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)

Menu główne

Wyszukiwarka

Treść główna

Przejdź do strony domowej biblioteki Biblioteka Akademii Nauk Stosowanych w Gnieźnie Link otwiera się w nowym oknie

Prolib Integro - strona głównaBiblioteka Akademii Nauk Stosowanych w Gnieźnie

- Kontrast domyślny
- Kontrast czarno-żółty

Wybór językaPolski (PL)

English (EN)
Polski (PL)
Yкраїнський (UK)

Nowości
Informacje biblioteki

Konto

Zaloguj
Zarejestruj się
Twoja półka
Akcje
Historia wyszukiwania
Zaproponuj zakup

- Kontrast domyślny
- Kontrast czarno-żółty

English (EN)·Polski (PL)·Yкраїнський (UK)

Przeglądasz jako GOŚĆ

Zaloguj Zarejestruj się Twoja półka Historia wyszukiwania Zaproponuj zakup

Nowości Kolekcje Informacje biblioteki

Wyszukujesz frazę "verification technique" wg kryterium: Temat

Lista filtrów

Aktywne filtry:

Słowa kluczowetechnika Model Checking

Źródło danych

Katalog biblioteki

2 Zasoby cyfrowe

Dostawca treści

2 BazTech

Rok wydania

Od:

Do:

Słowa kluczowe

2 Model Checking technique
2 technika Model Checking
1 ASM
1 algorithmic state machines ASM
1 algorytmiczna maszyna stanów
1 cryptograpic authentication protocols
1 formal verification of specification
1 logika temporalna

Pokaż wszystkie »

Autor

1 Grobelna, I.
1 Grondys, K.
1 Kurkowski, M.
1 Sowik, A.
1 Szczypior, I.

Typ dokumentu

2 Artykuł

Język

1 angielski
1 polski

Wyrównaj

Wyświetlanie 1-2 z 2

Zaznacz

Twoja półka
Dodaj cały wynik z filtrami
Dodaj wybrane pozycje
Zapisz do pliku
Wyślij e-mail

Pytanie

Czy chcesz zapisać wybrane pozycje do pliku?

Wybierz typ zapisywanego pliku:

Wyślij e-mail

Twój adres IP 216.73.216.175 zostanie dołączony do treści wiadomości e-mail.

Adres e-mail

Wybierz typ wysyłanego pliku:

Dodawanie na półkę

Widok
Ograniczony
Prosty

Autora A-Z
Autora Z-A
Tytułu A-Z
Tytułu Z-A
Roku wydania 1-9
Roku wydania 9-1

Skocz do pozycji: 1.

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: 2.

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

Wyświetlanie 1-2 z 2

Mapa serwisu

Wybór indeksu wyszukiwawczego

Wszystkie pola Autor Tytuł Temat

Wybór języka

English (EN)Polski (PL)Yкраїнський (UK)

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

Godziny pracy Biblioteki ANS im. H. Cegielskiego

poniedziałek 8:00 – 15:30

wtorek 8:00 – 15:30

środa 8:00 – 15:30

czwartek 8:00 – 15:30

piątek 8:00 – 15:30

sobota Nieczynne

W koszyku znajdują się zamówienia

W koszyku znajdują się zamówienia do wysłania. Czy chcesz wysłać je do realizacji?

Tak Nie