المؤلفون: Eramo R., Fanni T., Guidotti D., Pandolfo L., Pulina L., Zedda K.

المساهمون: Riccardo De Benedictis, Nicola Gatti, Marco Maratea, Andrea Micheli, Aniello Murano, Enrico Scala, Luciano Serafini, Ivan Serina, Alessandro Umbrico, Mauro Vallati, Eramo, R., Fanni, T., Guidotti, D., Pandolfo, L., Pulina, L., Zedda, K.

مصطلحات موضوعية: Automotive, Formal Verification, Neural Network, Trustworthy AI

العلاقة: ispartofbook:CEUR Workshop Proceedings; 10th Italian Workshop on Planning and Scheduling, IPS 2022, RCRA Incontri E Confronti, RiCeRcA 2022, and the Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy, SPIRIT 2022; volume:3345; serie:CEUR WORKSHOP PROCEEDINGS; https://hdl.handle.net/11575/141489Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85148653682

الإتاحة: https://hdl.handle.net/11575/141489Test

المؤلفون: Masin M., Palumbo F., Adriaanse J., Myrhaug H., Regazzoni F., Sanchez M., Zedda K.

المساهمون: Masin, M., Palumbo, F., Adriaanse, J., Myrhaug, H., Regazzoni, F., Sanchez, M., Zedda, K.

مصطلحات موضوعية: Elicitation, Requirement, Research Project

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9781450359337; info:eu-repo/semantics/altIdentifier/wos/WOS:000474685800226; ispartofbook:Proceedings of the ACM Symposium on Applied Computing; 34th Annual ACM Symposium on Applied Computing, SAC 2019; volume:147772; firstpage:1629; lastpage:1632; numberofpages:4; info:eu-repo/grantAgreement/EC/H2020/732105; http://hdl.handle.net/11388/227270Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85065660404

الإتاحة: https://doi.org/10.1145/3297280.3297600Test
http://hdl.handle.net/11388/227270Test

المؤلفون: Palumbo, F., Fanni, T., Sau, C., Pulina, L., Raffo, L., Masin, M., Shindin, E., Rojas, P.S.D., Desnos, Karol, Pelcat, Maxime, Rodríguez, A., Juarez, E., Regazzoni, F., Meloni, G., Zedda, K., Myrhaug, H., Kaliciak, L., Andriaanse, J., Filho, J.O., Munõz, P., Toffetti, A.

المساهمون: Università degli Studi di Sassari = University of Sassari Sassari (UNISS), Institut d'Électronique et des Technologies du numéRique (IETR), Université de Nantes (UN)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Universidad Politécnica de Madrid (UPM), Università della Svizzera italiana = University of Italian Switzerland (USI), 732105, Horizon 2020

المصدر: 16th ACM International Conference on Computing Frontiers, CF 2019
https://univ-rennes.hal.science/hal-02161022Test
16th ACM International Conference on Computing Frontiers, CF 2019, Apr 2019, Alghero, Italy. pp.320-325, ⟨10.1145/3310273.3323436⟩

مصطلحات موضوعية: Self-adaptation, HWreconfiguration, CPS, HWadaptivity, SW adaptivity, Verification, [SPI]Engineering Sciences [physics]

جغرافية الموضوع: Alghero, Italy

العلاقة: hal-02161022; https://univ-rennes.hal.science/hal-02161022Test

الإتاحة: https://doi.org/10.1145/3310273.3323436Test
https://univ-rennes.hal.science/hal-02161022Test

المؤلفون: Masin, M., PALUMBO, Francesca, Myrhaug, H., de Oliveira Filho, J. A., Pastena, M., Pelcat, M., Raffo, L., Regazzoni, F., Sanchez, A. A., Toffetti, A., de la Torre, E., Zedda, K.

المساهمون: Masin, M., Palumbo, Francesca, Myrhaug, H., de Oliveira Filho, J. A., Pastena, M., Pelcat, M., Raffo, L., Regazzoni, F., Sanchez, A. A., Toffetti, A., de la Torre, E., Zedda, K.

مصطلحات موضوعية: Adaptation models, Computational modeling, Runtime, Tools, Analytical models, Maintenance engineering, Engines

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-9815370-8-6; info:eu-repo/semantics/altIdentifier/wos/WOS:000404171500140; ispartofbook:2017 Design, Automation & Test in Europe Conference & Exhibition (DATE); Design, Automation & Test in Europe Conference & Exhibition 2017; firstpage:740; lastpage:745; numberofpages:6; info:eu-repo/grantAgreement/EC/H2020/732105; http://hdl.handle.net/11388/177663Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85020188209; http://ieeexplore.ieee.org/document/7927088Test/

الإتاحة: https://doi.org/10.23919/DATE.2017.7927088Test
http://hdl.handle.net/11388/177663Test
http://ieeexplore.ieee.org/document/7927088Test/

المؤلفون: Masin, M., Palumbo, F., Adriaanse, J., Myrhaug, H., Regazzoni, F., Sanchez, M., Zedda, K.

المصدر: Proceedings of the ACM Symposium on Applied Computing, 34th Annual ACM Symposium on Applied Computing, SAC 2019, 8 April 2019 through 12 April 2019, 1629-1632

مصطلحات موضوعية: Elicitation, Requirements, Research Project, Ad hoc process, Black boxes, Horizon 2020, Service development, Technical requirement, Verification tests, Computation theory

العلاقة: uuid:82cf80f6-29ee-4b77-825a-3411b524bd81; 867243; http://resolver.tudelft.nl/uuid:82cf80f6-29ee-4b77-825a-3411b524bd81Test

الإتاحة: http://resolver.tudelft.nl/uuid:82cf80f6-29ee-4b77-825a-3411b524bd81Test

المؤلفون: CABASINO, MARIA PAOLA, GIUA, ALESSANDRO, SEATZU, CARLA, Solinas A, Zedda K.

المساهمون: Cabasino, MARIA PAOLA, Giua, Alessandro, Solinas, A, Seatzu, Carla, Zedda, K.

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-145771730-7; ispartofbook:CASE11: 7th IEEE Conference on Automation Science and Engineering (Trieste, Italy); IEEE 7th Int. Conf. on Automation Science and Engineering; firstpage:594; lastpage:599; numberofpages:6; http://hdl.handle.net/11584/105129Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-82455171740

الإتاحة: https://doi.org/10.1109/CASE.2011.6042508Test
http://hdl.handle.net/11584/105129Test

المؤلفون: Cabasino, M.P., Giua, A., Seatzu, C., Solinas, A., Zedda, K.

المصدر: 2011 IEEE Conference on Automation Science & Engineering (CASE); 2011, p594-599, 6p

المؤلفون: FANNI, ALESSANDRA, K. ZEDDA, D. TESTA, B. CANNAS, F. PICCOLO, F. SARTORI, P. SONATO

المساهمون: Fanni, Alessandra, Zedda, K., Testa, D., Cannas, B., Piccolo, F., Sartori, F., Sonato, P.

العلاقة: ispartofbook:Proc. of EPS 2007; EPS 2007; http://hdl.handle.net/11584/29510Test

الإتاحة: http://hdl.handle.net/11584/29510Test

المؤلفون: FANNI, ALESSANDRA, B. CANNAS, K. ZEDDA, P. TESTONI, P. SONATO, F. CAU, SIAS, GIULIANA

المساهمون: Fanni, Alessandra, Cannas, B., Zedda, K., Testoni, P., Sonato, P., Sias, Giuliana, Cau, F.

العلاقة: http://hdl.handle.net/11584/94817Test

الإتاحة: http://hdl.handle.net/11584/94817Test