Fundamenta Informaticae - Tom Vol. 173, nr 2-3 (2020) - Biblioteka Nauki

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. 173, nr 2-3

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2020

Identyfikatory

Uwagi

Special Issue on The Working Formal Methods Symposium
(FROM 2018).
Special issue editors: Jetty Kleijn, Leiden University, the Netherlands; Laurenţiu Leuştean, University of Bucharest, Romania; Dorel Lucanu, Alexandru Ioan Cuza University of Iaşi, Romania.

Zawartość wolumenu

Vol. 173, nr 2-3
- artykuł: Parametric Systems : Verification and Synthesis (Sofronie-Stokkermans V.), s. 91--138
- artykuł: Adaptive Virtual Organisms : A Compositional Model for Complex Hardware-software Binding (Paduraru C. I., Stefanescu G.), s. 139--176
- artykuł: Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations (Diaconescu D.), s. 177--189
- artykuł: A Many-sorted Polyadic Modal Logic (Leuştean I., Moangă N., Şerbănuţă T. F.), s. 191--215
- artykuł: Causal Reasoning for Safety in Hennessy Milner Logic (Caltais G., Mousavi M. R., Singh H.), s. 217--251

rozwiń roczniki