Filtry
Wyszukiwanie zaawansowane ?

Szukana fraza: [Tytuł = The use of model checking and the COSMA environment in the design of reactive systems] lub [Autor = Mieścicki, Jerzy]

Wyników: 1

Obiektów na stronie:
Dodaj wszystkie do bibliografii
Behavioral an real-time verification of a pipeline in the COSMA environment

Mieścicki, Jerzy Daszczuk, Wiktor B. Uniwersytet Marii Curie-Skłodowskiej (Lublin)

2006
artykuł

Dane kontaktowe

Adres

Biblioteka UMCS
ul. Radziszewskiego 11
20-031 Lublin, Poland

Telefon

(+48) 81 537 58 16

E-Mail

j.startek@umcs.pl

u.zielinska@umcs.pl

Odwiedź nas!

Ta strona wykorzystuje pliki 'cookies'. Więcej informacji