Tytuł:
Validation of reactive embedded systems against specification requirements
Autor:
Strug, Joanna ; Deniziak, Stanisław ; Sapiecha, Krzysztof
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. 2 (2004)
HTML5 wykryty.