Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 4

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Interleaving Based Model Checking of Concurrency and Causality

100%

Wolf K.

tom Vol. 161, nr 4

423--445

We consider a spectrum of properties proposed in [14]. It is related to causality and concurrency between a pair of given transitions in a place/transition net. For each of these properties, we ask whether it can be verified using an ordinary, interleaving based, model checker. With a systematic approach based on two constructions, we reduce most properties in the spectrum to a reachability problem. Only one problem needs to be left open completely. Some problems can be solved only under the assumption of absent auto-concurrency.

Postep naukowy i techniczny w niemieckim przemysle cukrowniczym. Czesc I. Technologia produkcji cukru Pfeifer and Langen w przeszlosci i obecnie

100%

Wolf K.

Gazeta Cukrownicza

1998

tom 106

nr 11

211-212

Properties of multiple conditioned reflex type II activity

63%

Wolf K.

nr 2

Barwienie włókien poliestrowych bez problemu z oligomerami

51%

Gebhardt G. , Richter F. , Schönfeld A. , Wolf K.

tom nr 5

16-19