Filtry
Wyszukiwanie zaawansowane ?

Szukana fraza: [Tytuł = Behavioral an real\-time verification of a pipeline in the COSMA environment] lub [Autor = Mieścicki, Jerzy] lub [Autor = Daszczuk, Wiktor B.]

Wyników: 1

Obiektów na stronie:
Dodaj wszystkie do bibliografii
The use of model checking and the COSMA environment in the design of reactive systems

Mieścicki, Jerzy 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