المؤلفون: 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

الإتاحة: https://doi.org/10.1007/978-3-030-03427-6_20Test
http://hdl.handle.net/11588/846184Test

المؤلفون: Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella, Vaglini, Gigliola

المساهمون: SAFECOMP 2018, Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella, Vaglini, Gigliola

مصطلحات موضوعية: Authentication, Automotive, Machine learning, Privacy, Theoretical Computer Science, Computer Science (all)

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9783319992280; info:eu-repo/semantics/altIdentifier/wos/WOS:000458807000032; ispartofbook:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Workshops: ASSURE, DECSoS, SASSUR, STRIVE, and WAISE 2018 co-located with 37th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2018; volume:11094; firstpage:374; lastpage:386; numberofpages:13; journal:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; http://hdl.handle.net/11695/82740Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85053879502; https://www.springer.com/series/558Test

الإتاحة: https://doi.org/10.1007/978-3-319-99229-7_32Test
http://hdl.handle.net/11695/82740Test
https://www.springer.com/series/558Test

المؤلفون: 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

المؤلفون: 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/11367/99033Test; 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/11367/99033Test
http://springerlink.com/content/0302-9743/copyright/2005Test/

المؤلفون: 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/

المؤلفون: Schlick, Rupert, Felderer, Michael, Majzik, Istvan, Nardone, Roberto, Raschke, Alexander, Snook, Colin, Vittorini, Valeria

مصطلحات موضوعية: Benchmarks, Formal methods, Formal models, Industrial adoption, Benchmarking, Digital storage, Formal model, Good scientific practices, Open datum, Potential benefits, Potential users, Research fields, Software Engineering, Programvaruteknik

العلاقة: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 0302-9743; Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 249-272; http://urn.kb.se/resolve?urn=urn:nbn:se:bth-17350Test; urn:isbn:9783030034269; Scopus 2-s2.0-85056453238

الإتاحة: https://doi.org/10.1007/978-3-030-03427-6_20Test
http://urn.kb.se/resolve?urn=urn:nbn:se:bth-17350Test

المؤلفون: NARDONE, ROBERTO, GENTILE, UGO, BENERECETTI, MASSIMO, PERON, ADRIANO, VITTORINI, VALERIA, Marrone, Stefano, MAZZOCCA, NICOLA

المساهمون: 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/11368/3029586Test; 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/11368/3029586Test
http://www.springer.com/series/7899Test

المؤلفون: NARDONE, ROBERTO, GENTILE, UGO, BENERECETTI, MASSIMO, PERON, ADRIANO, VITTORINI, VALERIA, Marrone, Stefano, MAZZOCCA, NICOLA

المساهمون: 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/11367/99049Test; 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/11367/99049Test
http://www.springer.com/series/7899Test

المؤلفون: Nardone, Roberto, Gentile, Ugo, Benerecetti, Massimo, Peron, Adriano, Vittorini, Valeria, Mazzocca, Nicola, MARRONE, Stefano

المساهمون: aa.vv., Olveczky P.C.,Artho C., 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; 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015; volume:596; firstpage:121; lastpage:136; numberofpages:16; journal:COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE; alleditors:Olveczky P.C.,Artho C.; http://hdl.handle.net/11591/365033Test; 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/11591/365033Test
http://www.springer.com/series/7899Test

المؤلفون: NARDONE, ROBERTO, GENTILE, UGO, PERON, ADRIANO, BENERECETTI, MASSIMO, VITTORINI, VALERIA, Marrone, Stefano, De Guglielmo, Renato, MAZZOCCA, NICOLA, Velardi, Luigi

المساهمون: Cyrille Artho Peter Csaba Ölveczky, Nardone, Roberto, Gentile, Ugo, Peron, Adriano, Benerecetti, Massimo, Vittorini, Valeria, Marrone, Stefano, De Guglielmo, Renato, Mazzocca, Nicola, Velardi, Luigi

مصطلحات موضوعية: CRYSTAL, Dynamic instantiation, Metamodel, Model driven, Railway control system, State machine, System testing, Computer Science (all)

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9783319175805; info:eu-repo/semantics/altIdentifier/wos/WOS:000368430500007; ispartofbook:Communications in Computer and Information Science; 3rd International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014; volume:476; firstpage:93; lastpage:109; numberofpages:17; alleditors:Cyrille Artho Peter Csaba Ölveczky; http://hdl.handle.net/11368/3029581Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84929616722; http://www.springer.com/series/7899Test

الإتاحة: https://doi.org/10.1007/978-3-319-17581-2_7Test
http://hdl.handle.net/11368/3029581Test
http://www.springer.com/series/7899Test