Tytuł:
Behavioral an real-time verification of a pipeline in the COSMA environment
Autor:
Mieścicki, Jerzy ; Daszczuk, Wiktor B.
Opis:
Wydawca:
Wydaw. Uniwersytetu Marii Curie-Skłodowskiej
Miejsce wydania:
Współtwórca:
Uniwersytet Marii Curie-Skłodowskiej (Lublin)
Data wydania:
Typ zasobu:
Format:
Język:
Powiązania:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 4 (2006)