Fundamenta Informaticae - Tom Vol. 51, nr 1,2 (2002) - Biblioteka Nauki - Yadda

Ten serwis zostanie wyłączony 2025-02-11.

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

Tom - szczegóły

Tytuł artykułu

Vol. 51, nr 1,2

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2002

Identyfikatory

Zawartość wolumenu

Vol. 51, nr 1,2
- artykuł: Verification of Timed Automata Based on Similarity (Dembiński P., Penczek W., Półrola A.), s. 59-89
- artykuł: Verification of Non-functional Properties of a Composable Architecture with Petrinets (Richling J., Popova-Zeugmann L., Werner M.), s. 185-200
- artykuł: Towards an Ontology of Approximate Reason (Peters J. F., Skowron A., Stepaniuk J., Ramanna S.), s. 157-173
- artykuł: Reachability in Contextual Nets (Winkowski J.), s. 235-250
- artykuł: Products and Polymorphic Subtypes (Bono V., Tiuryn J.), s. 13-41
- artykuł: Place/Transition Petri Net Evolutions: Recording Ways, Analysis and Synthesis (Czaja L.), s. 43-58
- artykuł: Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets (Lomazova I. A.), s. 121-133
- artykuł: Minimizing the Number of Successor States in the Stubborn Set Method (Varpaaniemi K.), s. 215-234
- artykuł: Global Action Rules in Distributed Knowledge Systems (Raś Z. W., Gupta S.), s. 175-184
- artykuł: Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures (Farwer B.), s. 91-101
- artykuł: Bounded Model Checking for the Universal Fragment of CTL (Penczek W., Woźna B., Zbrzezny A.), s. 135-156
- artykuł: A Notion of Non-Interference for Timed Automata (Barbuti R., De Francesco N., Santone A., Tesei L.), s. 1-11
- artykuł: A Comparision of Different Decision Algorithms Used in Volumetric Storm Cells Classification (Suraj Z., Peters J. F., Rząsa W.), s. 201-214
- artykuł: A Comparative Study of Some Generalized Rough Approximations (Gomolińska A.), s. 103-119

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.