Federacja Bibliotek Cyfrowych

Strona główna
Biblioteka Cyfrowa UMCS
Validation of reactive embedded systems against specification requirements

Szczegóły obiektu: Validation of reactive embedded systems against specification requirements

tile.noImage

Instytucja dostarczająca:Biblioteka Cyfrowa UMCS

Opis

Tytuł:
Validation of reactive embedded systems against specification requirements
Twórca:
Strug, Joanna;
Deniziak, Stanisław;
Sapiecha, Krzysztof
Współtwórca:
Uniwersytet Marii Curie-Skłodowskiej (Lublin)
Opis:
Artykuł z : Annales Universitatis Mariae Curie-Skłodowska, Sectio AI, Informatica, Vol. 2 (2004), s. 173-182
Dostępność obiektu:
Dostęp otwarty
Prawa:
Biblioteka Uniwersytetu Marii Curie-Skłodowskiej
Data:
2004
Typ:
artykuł
Język:
angielski
Format:
image/vnd.djvu
Wydawca:
Wydaw. Uniwersytetu Marii Curie-Skłodowskiej
Relacja:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 2 (2004)
Dostawca danych:
Biblioteka Cyfrowa UMCS

Czy mogę z tego obiektu skorzystać?:
poproś o pozwolenie
Rodzaj zawartości:
obrazy

Podobne obiekty

tile.noImage

Validation of reactive embedded systems against specification requirements

Twórca:Strug, Joanna | Deniziak, Stanisław | Sapiecha, Krzysztof

Data:2004

Rodzaj zawartości:obrazy

tile.noImage

How validation can help in testing business processes orchestrating web services

Twórca:Grela, Damian | Sapiecha, Krzysztof | Strug, Joanna

Data:2013

Rodzaj zawartości:teksty

tile.noImage

Recenzja rozprawy doktorskiej mgra inż. Marcina Kubicy pt. Dekompozycja i odwzorowanie technologiczne z wykorzystaniem binarnych diagramów decyzyjnych

Twórca:Deniziak, Stanisław

Data:2014.12.31 | 2014

Rodzaj zawartości:pozostałe

tile.noImage

Recenzja rozprawy doktorskiej mgra inż. Marcina Kubicy pt. Dekompozycja i odwzorowanie technologiczne z wykorzystaniem binarnych diagramów decyzyjnych

Twórca:Deniziak, Stanisław

Data:2014.12.31 | 2014

Rodzaj zawartości:pozostałe

tile.noImage

Recenzja rozprawy doktorskiej mgra inż. Krzysztofa Bąka pt. Testowanie urządzeń pamięci masowej NAND FLASH w procesie produkcji

Twórca:Deniziak, Roman Stanisław

Data:2017.12.31 | 2017

Rodzaj zawartości:pozostałe

tile.noImage

Recenzja rozprawy doktorskiej mgra inż. Krzysztofa Bąka pt. Testowanie urządzeń pamięci masowej NAND FLASH w procesie produkcji

Twórca:Deniziak, Roman Stanisław

Data:2017.12.31 | 2017

Rodzaj zawartości:pozostałe

tile.noImage

Recenzja rozprawy doktorskiej mgra inż. Łukasza Pawlika pt. Metody zwiększenia skuteczności wirtualnych konsultantów poprzez minimalizację niepoprawnie rozpoznawanych intencji z wypowiedzi klientów

Twórca:Deniziak, Roman Stanisław

Data:2022.12.31 | 2022

Rodzaj zawartości:pozostałe

tile.noImage

Recenzja rozprawy doktorskiej mgra inż. Łukasza Pawlika pt. Metody zwiększenia skuteczności wirtualnych konsultantów poprzez minimalizację niepoprawnie rozpoznawanych intencji z wypowiedzi klientów

Twórca:Deniziak, Roman Stanisław

Data:2022.12.31 | 2022

Rodzaj zawartości:pozostałe

Projekt FBC TeNe

Projekt dofinansowany z Funduszy Europejskich w ramach Programu Operacyjnego Polska Cyfrowa na lata 2014-2020 (projekt nr POPC.02.04.00-00-0012/20-00)

Więcej informacji o projekcie znajdziesz na stronie: https://tene.fbc.pionier.net.pl/

Fundusze Europejskie. Polska Cyfrowa

Rzeczpospolita Polska

FBC - Federacja Bibliotek Cyfrowych

Unia Europejska - Europejski Fundusz Rozwoju Regionalnego

Używamy plików cookies, by nieustannie zwiększać komfort przeglądania naszej strony internetowej. W celu uzyskania szczegółowych informacji, prosimy o zapoznanie się z dokumentem Polityki Prywatności