Szukana fraza: [Temat i słowa kluczowe = formal verification] lub [Temat i słowa kluczowe = deductive reasoning] lub [Temat i słowa kluczowe = temporal logic] lub [Temat i słowa kluczowe = semantic tableaux] lub [Temat i słowa kluczowe = workflow patterns] lub [Temat i słowa kluczowe = logical primitives] lub [Temat i słowa kluczowe = generating logical specifications] lub [Temat i słowa kluczowe = business models] lub [Temat i słowa kluczowe = BPMN] lub [Tytuł = A system for deduction\-based formal verification of workflow\-oriented software models] lub [Autor = Klimek, Radosław]
Wyników: 7
Pułka, Andrzej Makowski, Ryszard - ed. Zarzycki, Jan - ed.
Gosti, Wilsin Villa, Tiziano Saldanha, Alex Sangiovanni-Vincentelli, Alberto L. Korbicz, Józef (1951- ) - red.
Taibi, Toufik Ngo, David Chek Ling Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Nikiel, Sławomir Moczulska, Marta - red. Preston, Peter- red. jęz. Stankiewicz, Janina - red. nacz. Zmyślony, Roman - red. statyst. Adamczyk, Janusz- red. Skalik, Jan - red.
Klimek, Radosław Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Klimek, Radosław Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Nogalski, Bogdan Niewiadomski, Przemysław Moczulska, Marta - red. Preston, Peter- red. jęz. Stankiewicz, Janina - red. nacz. Zmyślony, Roman - red. statyst. Adamczyk, Janusz- red. Skalik, Jan - red.
