E-LIB Suche - Ergebnisse für: Basile, Luigi

1

Spinal Cord Stimulation Meets Them All: An Effective Treatm..:

, In: Acta Neurochirurgica Supplement; The Funnel: From the Skull Base to the Sacrum,

Giammalva, Giuseppe Roberto ; Paolini, Federica ; Bonosi, Lapo... - p. 179-195 , 2023

Link: https://doi.org/10.1007/..

2

Surgical Highways to the Craniovertebral Junction: Is It Ti..:

, In: Acta Neurochirurgica Supplement; New Trends in Craniovertebral Junction Surgery,

Giammalva, Giuseppe Roberto ; Iacopino, Domenico Gerardo ; Graziano, Francesca... - p. 17-23 , 2019

Link: https://doi.org/10.1007/..

3

CNR's Contribution to the Advancement of Soil Science in It..:

, In: Soil Science in Italy,

Basile, Angelo ; Buttafuoco, Gabriele ; Calzolari, Costanza... - p. 569-580 , 2024

Link: https://doi.org/10.1007/..

4

An Innovative Decision Support System for Smart Cities Gove..:

, In: 2022 7th International Conference on Smart and Sustainable Technologies (SpliTech),

Montanaro, Teodoro ; Sergi, Ilaria ; Basile, Matteo... - p. 1-6 , 2022

Link: https://doi.org/10.23919..

5

List of contributors:

, In: Current Trends and Future Developments on (Bio-) Membranes,

Ansaripour, Majid ; Aryafard, Elham ; Aschmoneit, Fynn J.... - p. xiii-xiv , 2022

Link: https://doi.org/10.1016/..

6

Supervisory Synthesis of Configurable Behavioural Contracts..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Basile, Davide ; ter Beek, Maurice H. ; Degano, Pierpaolo... - p. 177-181 , 2021

Link: https://doi.org/10.1007/..

7

A model-based approach to the validation of automation syst..:

, In: 2021 29th Mediterranean Conference on Control and Automation (MED),

Basile, Francesco ; Ferrara, Luigi - p. 1317-1323 , 2021

Link: https://doi.org/10.1109/..

8

Statistical Model Checking of Hazards in an Autonomous Tram..:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,

Basile, Davide ; Fantechi, Alessandro ; Rucher, Luigi. - p. 41-58 , 2019

Link: https://doi.org/10.1007/..

9

The SISTER Approach for Verification and Validation: A Ligh..:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,

Ceccarelli, Andrea ; Basile, Davide ; Bondavalli, Andrea... - p. 185-197 , 2019

Link: https://doi.org/10.1007/..

10

Automata-Based Behavioural Contracts with Action Correlatio:

, In: From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science,

Basile, Davide ; Pugliese, Rosario ; Tiezzi, Francesco.. - p. 131-151 , 2019

Link: https://doi.org/10.1007/..

11

Discovering of the unobservable behaviour of an Interpreted..:

, In: 2019 IEEE 58th Conference on Decision and Control (CDC),

Basile, Francesco ; Faraut, Gregory ; Ferrara, Luigi. - p. 2021-2026 , 2019

Link: https://doi.org/10.1109/..

12

Specifying variability in service contracts:

, In: Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems,

Basile, Davide ; Di Giandomenico, Felicita ; Gnesi, Stefania.. - p. 20-27 , 2017

Link: https://dl.acm.org/doi/1..

13

Contributors:

, In: Stiehm's Immune Deficiencies,

Abers, Michael S. ; Babushok, Daria V. ; Ballow, Mark... - p. xxix-xxxiii , 2020

Link: https://doi.org/10.1016/..

14

Contributors:

, In: Primary Immunodeficiency Disorders,

Belohradsky, Bernd H. ; Berger, Melvin ; Bousfiha, Aziz A.... - p. vii-ix , 2014

Link: https://doi.org/10.1016/..

15

List of Contributors:

, In: Stiehm's Immune Deficiencies,

Ballow, Mark ; Barbouche, Mohamed-Ridha ; Bonagura, Vincent R.... - p. xix-xxii , 2014

Link: https://doi.org/10.1016/..