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

Tom - szczegóły

Tytuł artykułu

Vol. 173, nr 2-3

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

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 Viorica), s. 91--138
- artykuł: Adaptive Virtual Organisms : A Compositional Model for Complex Hardware-software Binding (Paduraru Ciprian Ionut, Stefanescu Gheorghe), s. 139--176
- artykuł: Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations (Diaconescu Denisa), s. 177--189
- artykuł: A Many-sorted Polyadic Modal Logic (Leuştean Ioana, Moangă Natalia, Şerbănuţă Traian Florin), s. 191--215
- artykuł: Causal Reasoning for Safety in Hennessy Milner Logic (Caltais Georgiana, Mousavi Mohammad Reza, Singh Hargurbir), s. 217--251

rozwiń roczniki