Tytuł:
The use of model checking and the COSMA environment in the design of reactive systems
Autor:
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)