Tytuł:

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

Autor:

Mieścicki, Jerzy

Opis:

Artykuł z : Annales Universitatis Mariae Curie-Skłodowska, Sectio AI, Informatica, Vol. 4 (2006), s. 244-253

Wydawca:

Wydaw. Uniwersytetu Marii Curie-Skłodowskiej

Miejsce wydania:

Lublin

Współtwórca:

Uniwersytet Marii Curie-Skłodowskiej (Lublin)

Data wydania:

2006

Typ zasobu:

artykuł

Format:

image/x.djvu

Język:

eng

Powiązania:

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

Prawa:

Biblioteka Uniwersytetu Marii Curie-Skłodowskiej