Federacja Bibliotek Cyfrowych

Strona główna
Biblioteka Cyfrowa UMCS
Behavioral an real-time verification of a pipeline in the COSMA environment

Szczegóły obiektu: Behavioral an real-time verification of a pipeline in the COSMA environment

tile.noImage

Instytucja dostarczająca:Biblioteka Cyfrowa UMCS

Opis

Tytuł:
Behavioral an real-time verification of a pipeline in the COSMA environment
Twórca:
Mieścicki, Jerzy;
Daszczuk, Wiktor B.
Współtwórca:
Uniwersytet Marii Curie-Skłodowskiej (Lublin)
Opis:
Artykuł z : Annales Universitatis Mariae Curie-Skłodowska, Sectio AI, Informatica, Vol. 4 (2006), s. 254-265
Dostępność obiektu:
Dostęp otwarty
Prawa:
Biblioteka Uniwersytetu Marii Curie-Skłodowskiej
Data:
2006
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. 4 (2006)
Dostawca danych:
Biblioteka Cyfrowa UMCS

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

Podobne obiekty

tile.noImage

Behavioral an real-time verification of a pipeline in the COSMA environment

Twórca:Mieścicki, Jerzy | Daszczuk, Wiktor B.

Data:2006

Rodzaj zawartości:obrazy

tile.noImage

Integration of industrial DCS with a Plant Management Network

Twórca:Grabski, Waldemar | Krystosik, Artur | Daszczuk, Wiktor B. | Mieścicki, Jerzy

Data:1998.12.31 | 1998

Rodzaj zawartości:obrazy

tile.noImage

Practical approach to distributed systems' design

Twórca:Mieścicki, Jerzy | Daszczuk, Wiktor B. | Grabski, Waldemar | Krystosik, Artur

Data:1998.12.31 | 1998

Rodzaj zawartości:obrazy

tile.noImage

Recenzja rozprawy doktorskiej mgra inż. Tadeusza Czachórskiego pt. Metoda doboru struktury i oceny wydajności pracy złożonego systemu komputerowego pracującego w czasie rzeczywistym

Twórca:Mieścicki, Jerzy

Data:1979.12.31 | 1979

Rodzaj zawartości:pozostałe

tile.noImage

Dzieje badań w dziedzinie informatyki na Wydziale Elektroniki i Technik Informacyjnych Politechniki Warszawskiej

Twórca:Mieścicki, Jerzy

Data:2001

Rodzaj zawartości:teksty

tile.noImage

The use of model checking and the COSMA environment in the design of reactive systems

Twórca:Mieścicki, Jerzy

Data:2006

Rodzaj zawartości:obrazy

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