Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

A Tutorial on Runtime Verification

Autor: Giles Reger, Falcone, Y., Havelund, K.

Publikováno v: Engineering Dependable Software Systems
Manfred Broy, Doron Peled, Georg Kalus. Engineering Dependable Software Systems, 34, IOS Press, pp.141-175, 2013, NATO Science for Peace and Security Series-D: Information and Communication Security, 978-1-61499-206-6 (print); 978-1-61499-207-3 (online). ⟨10.3233/978-1-61499-207-3-141⟩
University of Manchester-PURE

Summer School Marktoberdorf 2012; International audience; This tutorial presents an overview of the field referred as to runtime verification. Runtime Verification is the study of algorithms, data structures, and tools focused on analyzing executions

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6a9dbbbb49d7c57183a116f41843a9de
https://hal.inria.fr/hal-00853727

Economic evaluation of different modalities of immunoglobulin therapy in chronic dysimmune polyradiculoneuropathies

Autor: Cocito, D., Serra, G., Paolasso, I., Falcone, Y., Barilà, D. A., Milla, Paola, Cattel, Luigi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______970::411507194250c62f2a19432eb74ec39a
http://hdl.handle.net/2318/119888

Immunosuppressive treatment in refractory chronic inflammatory demyelinating polyradiculoneuropathy. A nationwide retrospective analysis

Autor: Cocito, D, Grimaldi, S, Paolasso, I, Falcone, Y, Antonini, G, Benedetti, L, Briani, C, Fazio, R, Jann, S, Mata, S, Sabatelli, M, Nobile-Orazio, E, Italian Network for CIDP Register, Ciaramitano, P, Cossa, Fm, Clemenzi, A, Garibaldi, M, Beronio, A, Schenone, A, Campagnolo, M, Dalla Torre, C, Fruguglietti, E, Borsini, W, Conte, A, Luigetti, M, Gallia, F, Terenghi, F

There are other options open to patients with chronic inflammatory demyelinating polyradiculoneuropathy (CIDP) who are non-responders to conventional treatment, including immunosuppressive and immunomodulatory agents (IA). The aim of this study was t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pmid_dedup__::c19342f3a6a8100dc5994f6d1b1ec555
http://hdl.handle.net/11577/147783