Modular verification of abstract software descriptions

Autor: Gradara, S, Santone, Antonella, Vaglini, G, Villani, Ml

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1de7b9ede5aa9a510d65f99e780c6e91
http://hdl.handle.net/11568/91634

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

An Integrated Fusion Engine for Early Threat Detection Demonstrated in Public-Space Trials.

Autor: Bouma H; TNO-Netherlands Organisation for Applied Scientific Research, 2597 The Hague, The Netherlands., Villani ML; ENEA-Italian National Agency for New Technologies, Energy and Sustainable Economic Development, 00123 Rome, Italy., van Rooijen A; TNO-Netherlands Organisation for Applied Scientific Research, 2597 The Hague, The Netherlands., Räsänen P; VTT-Technical Research Centre of Finland, 33101 Tampere, Finland., Peltola J; VTT-Technical Research Centre of Finland, 33101 Tampere, Finland., Toivonen S; VTT-Technical Research Centre of Finland, 33101 Tampere, Finland., De Nicola A; ENEA-Italian National Agency for New Technologies, Energy and Sustainable Economic Development, 00123 Rome, Italy., Guarneri M; ENEA-Italian National Agency for New Technologies, Energy and Sustainable Economic Development, 00123 Rome, Italy., Stifini C; ATAC-Azienda per la Mobilità di Roma Capitale S.p.A, 00176 Rome, Italy., De Dominicis L; ENEA-Italian National Agency for New Technologies, Energy and Sustainable Economic Development, 00123 Rome, Italy.

Publikováno v: Sensors (Basel, Switzerland) [Sensors (Basel)] 2022 Dec 31; Vol. 23 (1). Date of Electronic Publication: 2022 Dec 31.