Tytuł:

Validation of reactive embedded systems against specification requirements

Autor:

Strug, Joanna ; Deniziak, Stanisław ; Sapiecha, Krzysztof

Opis:

Artykuł z : Annales Universitatis Mariae Curie-Skłodowska, Sectio AI, Informatica, Vol. 2 (2004), s. 173-182

Wydawca:

Wydaw. Uniwersytetu Marii Curie-Skłodowskiej

Miejsce wydania:

Lublin

Współtwórca:

Uniwersytet Marii Curie-Skłodowskiej (Lublin)

Data wydania:

2004

Typ zasobu:

artykuł

Format:

image/x.djvu

Język:

eng

Powiązania:

Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 2 (2004)

Prawa:

Biblioteka Uniwersytetu Marii Curie-Skłodowskiej