-
1كتاب
المؤلفون: 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://link.springer.com/chapter/10.1007/978-3-031-19762-8_23Test
-
2كتاب
المؤلفون: Massimo Benerecetti, Ugo Gentile, Roberto Nardone, Adriano Peron, Luigi Libero Lucio Starace, Valeria Vittorini, Stefano Marrone
المساهمون: Massimo Benerecetti, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorini, Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Benerecetti, Massimo, Gentile, Ugo, Nardone, Roberto, Peron, Adriano, Starace, LUIGI LIBERO LUCIO, Vittorini, Valeria, Marrone, Stefano
مصطلحات موضوعية: Dynamic State Machines, Model Checking, Model Driven, Promela, Spin, Test Case Generation, Transformation
العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-30923-7; ispartofbook:Model Checking Software; volume:11636; firstpage:56; lastpage:73; numberofpages:18; serie:THEORETICAL COMPUTER SCIENCE AND GENERAL ISSUES; alleditors:Fabrizio Biondi, Thomas Given-Wilson, Axel Legay; http://hdl.handle.net/11588/775734Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85075554658
-
3كتاب
المؤلفون: Schlick R., Felderer M., Majzik I., Nardone R., Raschke A., Snook C., Vittorini V.
المساهمون: Tiziana Margaria, Bernhard Steffen, Schlick, R., Felderer, M., Majzik, I., Nardone, R., Raschke, A., Snook, C., Vittorini, V.
مصطلحات موضوعية: Benchmark, Formal method, Formal model, Industrial adoption
العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-03426-9; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-03427-6; ispartofbook:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); volume:11247; firstpage:249; lastpage:272; numberofpages:24; serie:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; alleditors:Tiziana Margaria, Bernhard Steffen; http://hdl.handle.net/11588/846184Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85056453238
-
4كتاب
المؤلفون: NARDONE, ROBERTO, GENTILE, UGO, BENERECETTI, MASSIMO, PERON, ADRIANO, VITTORINI, VALERIA, MAZZOCCA, NICOLA, Marrone, Stefano
المساهمون: Roberto Nardone , Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca, Cyrille Artho, Peter Csaba Ölveczky, Nardone, Roberto, Gentile, Ugo, Benerecetti, Massimo, Peron, Adriano, Vittorini, Valeria, Marrone, Stefano, Mazzocca, Nicola
مصطلحات موضوعية: CRYSTAL, Dynamic state machine, Model checking, Promela, Railway control system, SPIN, Test case generation, Computer Science (all)
العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9783319295091; info:eu-repo/semantics/altIdentifier/wos/WOS:000371403600007; ispartofbook:Communications in Computer and Information Science; volume:596; firstpage:121; lastpage:136; numberofpages:16; alleditors:Cyrille Artho, Peter Csaba Ölveczky; http://hdl.handle.net/11588/631288Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84959016679; http://www.springer.com/series/7899Test
الإتاحة: https://doi.org/10.1007/978-3-319-29510-7_7Test
http://hdl.handle.net/11588/631288Test
http://www.springer.com/series/7899Test -
5كتاب
المؤلفون: Valentina Casola, Alessandra De Benedictis, Roberto Nardone
المساهمون: Casola, Valentina, DE BENEDICTIS, Alessandra, Nardone, Roberto
مصطلحات موضوعية: Cloud security, Model-based security assessment, Secure cloud application, Theoretical Computer Science, Computer Science (all)
العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9783319571850; info:eu-repo/semantics/altIdentifier/wos/WOS:000426275000056; ispartofbook:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); volume:10232; firstpage:773; lastpage:785; numberofpages:13; http://hdl.handle.net/11588/707459Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85019214092; http://springerlink.com/content/0302-9743/copyright/2005Test/
الإتاحة: https://doi.org/10.1007/978-3-319-57186-7_56Test
http://hdl.handle.net/11588/707459Test
http://springerlink.com/content/0302-9743/copyright/2005Test/ -
6كتاب
المؤلفون: 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://link.springer.com/chapter/10.1007/978-3-319-68499-4_3Test
-
7كتاب
المساهمون: Antonello Rizzi and Antonio Pedotti, Marrone, S., Nardone, Roberto, Rinaldi, ANTONIO MARIA, Vittorini, Valeria
العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-989-758-154-0; ispartofbook:European Project Space on Computational Intelligence, Knowledge Discovery and Systems Engineering for Health and Sports; firstpage:31; lastpage:49; numberofpages:19; alleditors:Antonello Rizzi and Antonio Pedotti; http://hdl.handle.net/11588/644851Test
-
8كتاب
المؤلفون: AMATO, FLORA, COZZOLINO, GIOVANNI, D'ALESSIO, ALESSANDRA, MAZZOCCA, NICOLA, MELE, GIANLUCA, NARDONE, ROBERTO, Marrone, Stefano
المساهمون: Amato, Flora, Cozzolino, Giovanni, D'Alessio, Alessandra, Marrone, Stefano, Mazzocca, Nicola, Mele, Gianluca, Nardone, Roberto
مصطلحات موضوعية: Dynamic state machine, E-health organization, Semantic processing, Workflow management, Workflow modelling
العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-331919829-3; info:eu-repo/semantics/altIdentifier/wos/WOS:000380547500011; ispartofbook:Smart Innovation, Systems and Technologies; volume:40; firstpage:121; lastpage:132; numberofpages:12; serie:SMART INNOVATION, SYSTEMS AND TECHNOLOGIES; http://hdl.handle.net/11588/620499Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84947904082; http://www.scopus.com/inward/record.url?eid=2-s2.0-84947904082&partnerID=40&md5=6b96667382911f8c8a5fc3670db35db9Test
الإتاحة: https://doi.org/10.1007/978-3-319-19830-9_11Test
http://hdl.handle.net/11588/620499Test
http://www.scopus.com/inward/record.url?eid=2-s2.0-84947904082&partnerID=40&md5=6b96667382911f8c8a5fc3670db35db9Test -
9كتاب
المساهمون: Vittorini, Valeria, Marrone, Stefano, Mazzocca, Nicola, Nardone, Roberto, Drago, Annarita
مصطلحات موضوعية: Model transformation, Model-driven security, Physical vulnerability, Railway infrastructure system, UML profile
العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000373057800009; ispartofbook:Topics in Safety, Risk, Reliability and Quality; volume:27; firstpage:143; lastpage:169; numberofpages:27; serie:TOPICS IN SAFETY, RISK, RELIABILITY AND QUALITY; http://hdl.handle.net/11588/620492Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84951093576; http://www.scopus.com/inward/record.url?eid=2-s2.0-84951093576&partnerID=40&md5=d80bf224e45b66b388b2e2ee511d1e75Test
الإتاحة: https://doi.org/10.1007/978-3-319-04426-2_8Test
http://hdl.handle.net/11588/620492Test
http://www.scopus.com/inward/record.url?eid=2-s2.0-84951093576&partnerID=40&md5=d80bf224e45b66b388b2e2ee511d1e75Test -
10كتاب
المؤلفون: Barberio, Gregorio, Di Martino, Beniamino, Mazzocca, Nicola, Velardi, Luigi, Amato, Aniello, De Guglielmo, Renato, Gentile, Ugo, Marrone, Stefano, Nardone, Roberto, Peron, Adriano, Vittorini, Valeria
المساهمون: Barberio, Gregorio, Di Martino, Beniamino, Mazzocca, Nicola, Velardi, Luigi, Amato, Aniello, De Guglielmo, Renato, Gentile, Ugo, Marrone, Stefano, Nardone, Roberto, Peron, Adriano, Vittorini, Valeria
مصطلحات موضوعية: Functional Testing, Model Driven Engineering, Model-Based System Testing, Railway Control System, Test Case Generation, Theoretical Computer Science, Computer Science (all)
العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9783319105567; info:eu-repo/semantics/altIdentifier/wos/WOS:000347679100018; ispartofbook:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); volume:8696; firstpage:147; lastpage:156; numberofpages:10; http://hdl.handle.net/11588/708357Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84907365944; http://springerlink.com/content/0302-9743/copyright/2005Test/
الإتاحة: https://doi.org/10.1007/978-3-319-10557-4_18Test
http://hdl.handle.net/11588/708357Test
http://springerlink.com/content/0302-9743/copyright/2005Test/