Fundamenta Informaticae - Tom Vol. 182, nr 1 (2021) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 182, nr 1

Czasopismo

Fundamenta Informaticae

Wydawca

Polskie Towarzystwo Matematyczne

Rocznik

2021

Identyfikatory

Zawartość wolumenu

Vol. 182, nr 1
- artykuł: Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions (Felli Paolo, de Leoni Massimiliano, Montali Marco), s. 1--29
- artykuł: Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints. (André Étienne, Coquard Emmanuel, Fribourg Laurent, Jerray Jawher, Lesens David, Keller Jörg, Penczek Wojciech), s. 31--67
- artykuł: Parametric Analyses of Attack-fault Tree (André Étienne, Lime Didier, Ramparison Mathias, Stoelinga Mariëlle), s. 69--94

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ć.