Filtry
Zmień kryteria wyszukiwania ?

Szukana fraza: [Autor = "Mieścicki, Jerzy"]

Wyników: 2

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ł

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