المؤلفون: Canonico R., Flammini F., Marrone S., Nardone R., Vittorini V.

المساهمون: Margaria, T., Steffen, B., Canonico, R., Flammini, F., Marrone, S., Nardone, R., Vittorini, V.

مصطلحات موضوعية: Railways, ERTMS/ETCS, FRMCS, NG2R, SDN, Control plane, QoS, Formal methods, MDE, DSTM

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-031-19761-1; info:eu-repo/semantics/altIdentifier/isbn/978-3-031-19762-8; ispartofbook:Leveraging Applications of Formal Methods, Verification and Validation. Practice. ISoLA 2022.; volume:13704 LNCS; firstpage:308; lastpage:320; numberofpages:13; serie:LECTURE NOTES IN COMPUTER SCIENCE; info:eu-repo/grantAgreement/EC/H2020/101015416; alleditors:Margaria, T., Steffen, B.; https://hdl.handle.net/11588/913478Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85142692213; https://linkTest.springer.com/chapter/10.1007/978-3-031-19762-8_23

الإتاحة: https://doi.org/10.1007/978-3-031-19762-8_23Test
https://hdl.handle.net/11588/913478Test

المؤلفون: Ferla, Maurizio, Nardone, Gabriele, Orasi, Arianna, Picone, Marco, Falco, Pierpaolo, Zambianchi, Enrico

المساهمون: Maurizio Ferla Gabriele Nardone Arianna Orasi Marco Picone Pierpaolo Falco Enrico Zambianchi, P. Daponte, G. B. Rossi, V. Piscopo, Ferla, Maurizio, Nardone, Gabriele, Orasi, Arianna, Picone, Marco, Falco, Pierpaolo, Zambianchi, Enrico

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-82023-7; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-82024-4; ispartofbook:Measurement for the Sea; firstpage:211; lastpage:235; numberofpages:25; serie:SPRINGER SERIES IN MEASUREMENT SCIENCE AND TECHNOLOGY; alleditors:P. Daponte, G. B. Rossi, V. Piscopo; http://hdl.handle.net/11367/101040Test

الإتاحة: https://doi.org/10.1007/978-3-030-82024-4_9Test
http://hdl.handle.net/11367/101040Test

المؤلفون: Maurizio Ferla, Gabriele Nardone, Arianna Oras, i Marco Picone, Pierpaolo Falco, Enrico Zambianchi

المساهمون: P. Daponte, G. B. Rossi, V. Piscopo, Ferla, Maurizio, Nardone, Gabriele, Oras, Arianna, Marco Picone, I, Falco, Pierpaolo, Zambianchi, Enrico

مصطلحات موضوعية: Hf radar, sea network, coastal monitoring

وصف الملف: ELETTRONICO

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-82023-7; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-82024-4; ispartofbook:SPRINGER SERIES IN MEASUREMENT SCIENCE AND TECHNOLOGY; firstpage:211; lastpage:235; numberofpages:25; http://hdl.handle.net/11566/303905Test

الإتاحة: http://hdl.handle.net/11566/303905Test

المؤلفون: Ciaramella A., Nardone D., Staiano A.

المساهمون: Raposo M.,Ribeiro P.,Serio S.,Staiano A.,Ciaramella A., Ciaramella, A., Nardone, D., Staiano, A.

مصطلحات موضوعية: Compressive Sensing, Hierarchical clustering, Microarray gene expression, Missing data, Saccharomyces Cerevisiae sequences

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-34584-6; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-34585-3; info:eu-repo/semantics/altIdentifier/wos/WOS:000664130400001; ispartofbook:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); volume:11925; firstpage:3; lastpage:10; numberofpages:8; serie:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; http://hdl.handle.net/11367/84810Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85082129805

الإتاحة: https://doi.org/10.1007/978-3-030-34585-3_1Test
http://hdl.handle.net/11367/84810Test

المؤلفون: Ciaramella A., Nardone D., Staiano A., Vettigli G.

المساهمون: Gloria Philips - Wren, Anna Esposito, Lakhmi C. Jain, Ciaramella, A., Nardone, D., Staiano, A., Vettigli, G.

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-51869-1; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-51870-7; ispartofbook:Intelligent Systems Reference Library; volume:189; firstpage:277; lastpage:292; numberofpages:16; serie:INTELLIGENT SYSTEMS REFERENCE LIBRARY; http://hdl.handle.net/11367/87246Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85090525001

الإتاحة: https://doi.org/10.1007/978-3-030-51870-7_13Test
http://hdl.handle.net/11367/87246Test

المؤلفون: Ciaramella A., Nardone D., Staiano A., Vettigli G.

المساهمون: Gloria Philips - Wren, Anna Esposito, Lakhmi C. Jain, Ciaramella, A., Nardone, D., Staiano, A., Vettigli, G.

مصطلحات موضوعية: musiq, psy

العلاقة: http://hdl.handle.net/11367/87246Test

الإتاحة: http://hdl.handle.net/11367/87246Test

المؤلفون: Canonico R., Marrone S., Nardone R., Vittorini V.

المساهمون: Lecomte T. Romanovsky A. Fantechi A., Canonico, R., Marrone, S., Nardone, R., Vittorini, V.

مصطلحات موضوعية: 5G network, ERTMS/ETCS, Model checking, Model transformation, Network emulation

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-319-68498-7; ispartofbook:Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; volume:LNCS, volume 10598; firstpage:34; lastpage:50; numberofpages:17; alleditors:Lecomte T. Romanovsky A. Fantechi A.; http://hdl.handle.net/11367/99059Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85034212408; https://linkTest.springer.com/chapter/10.1007/978-3-319-68499-4_3

الإتاحة: https://doi.org/10.1007/978-3-319-68499-4_3Test
http://hdl.handle.net/11367/99059Test

المؤلفون: Canonico R., Marrone S., Nardone R., Vittorini V.

المساهمون: Lecomte T., Romanovsky A., Fantechi A., Canonico, R., Marrone, S., Nardone, R., Vittorini, V.

مصطلحات موضوعية: 5G networks, ERTMS/ETCS, Model checking, Model transformation, Network emulation

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-319-68498-7; ispartofbook:Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; volume:LNCS, volume 10598; firstpage:34; lastpage:50; numberofpages:17; serie:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:Lecomte T., Romanovsky A., Fantechi A.; http://hdl.handle.net/11588/705612Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85034212408; https://linkTest.springer.com/chapter/10.1007/978-3-319-68499-4_3

الإتاحة: https://doi.org/10.1007/978-3-319-68499-4_3Test
http://hdl.handle.net/11588/705612Test

المؤلفون: Canonico R., Marrone S., Nardone R., Vittorini V.

المساهمون: Lecomte T., Romanovsky A., Fantechi A., Canonico, R., Marrone, S., Nardone, R., Vittorini, V.

مصطلحات موضوعية: 5G networks, ERTMS/ETCS, Model checking, Model transformation, Network emulation, info, archi

العلاقة: http://hdl.handle.net/11588/705612Test

الإتاحة: http://hdl.handle.net/11588/705612Test

المؤلفون: Bencivenga Mauro, LAGONA, Francesco, Maruotti Antonello, Nardone Gabriele, Picone Marco

المساهمون: GIOMMI A., ALLEVA G., Bencivenga, Mauro, Lagona, Francesco, Maruotti, Antonello, Nardone, Gabriele, Picone, Marco

مصطلحات موضوعية: Hidden Markov Models, missing values, linear-circular data, sea regimes

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-319-27272-6; info:eu-repo/semantics/altIdentifier/wos/WOS:000390286300006; ispartofbook:Topics in Theoretical and Applied Statistics; firstpage:61; lastpage:71; numberofpages:11; journal:STUDIES IN THEORETICAL AND APPLIED STATISTICS SELECTED PAPERS OF THE STATISTICAL SOCIETIES; alleditors:GIOMMI A.; ALLEVA G.; http://hdl.handle.net/11590/172795Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85060292365; http://linkTest.springer.com/chapter/10.1007/978-3-319-27274-0_6

الإتاحة: https://doi.org/10.1007/978-3-319-27274-0_6Test
http://hdl.handle.net/11590/172795Test