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

المساهمون: 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

المؤلفون: 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; journal:COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE; alleditors:Cyrille Artho, Peter Csaba Ölveczky; http://hdl.handle.net/11588/619800Test; 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/11588/619800Test
http://www.springer.com/series/7899Test

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

المساهمون: AA.VV., Artho C.,Olveczky P.C., 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; journal:COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE; alleditors:Artho C.,Olveczky P.C.; http://hdl.handle.net/11591/365131Test; 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/11591/365131Test
http://www.springer.com/series/7899Test

المؤلفون: AMATO, FLORA, MARRONE, Stefano, MAZZOCCA, Nicola, Cozzolino, Giovanni, D’Alessio, Alessandra, Mele, Gianluca, Nardone, Roberto

المساهمون: AA.VV., 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, Computer Science (all), Decision Sciences (all)

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9783319198293; info:eu-repo/semantics/altIdentifier/wos/WOS:000380547500011; ispartofbook:Smart Innovation, Systems and Technologies; 8th KES International Conference on Intelligent Interactive Multimedia Systems and Services, IIMSS-2015; volume:40; firstpage:121; lastpage:132; numberofpages:12; journal:SMART INNOVATION, SYSTEMS AND TECHNOLOGIES; http://hdl.handle.net/11591/365055Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84947904082; http://www.springer.com/series/8767Test

الإتاحة: https://doi.org/10.1007/978-3-319-19830-9_11Test
http://hdl.handle.net/11591/365055Test
http://www.springer.com/series/8767Test

المؤلفون: MARRONE, Stefano, Nardone, Roberto

المساهمون: AA.VV., Shakshuki E., Marrone, Stefano, Nardone, Roberto

مصطلحات موضوعية: Bayesian network, MARTE-DAM, Model-driven engineering, Resiliency, Virtual machine allocation, Computer Science (all)

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000361567100130; ispartofbook:Procedia Computer Science; The International Conference on Ambient Systems, Networks and Technologies, ANT-2015, the International Conference on Sustainable Energy Information Technology, SEIT-2015; volume:52; issue:1; firstpage:980; lastpage:987; numberofpages:8; journal:PROCEDIA COMPUTER SCIENCE; alleditors:Shakshuki E.; http://hdl.handle.net/11591/365040Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84939161381; http://www.sciencedirect.com/science/journal/18770509Test

الإتاحة: https://doi.org/10.1016/j.procs.2015.05.176Test
http://hdl.handle.net/11591/365040Test
http://www.sciencedirect.com/science/journal/18770509Test

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

المؤلفون: Gentile, Ugo, Mele, Gianluca, Nardone, Roberto, Peron, Adriano, MARRONE, Stefano

المساهمون: AA.VV., Gentile, Ugo, Marrone, Stefano, Mele, Gianluca, Nardone, Roberto, Peron, Adriano

مصطلحات موضوعية: ERTMS/ETCS, Model Checking, Model Transformation, Test Case Generation, Test Specification Pattern, Computer Science (all), Theoretical Computer Science

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9783319107011; ispartofbook:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014; volume:8718; firstpage:170; lastpage:184; numberofpages:15; journal:LECTURE NOTES IN COMPUTER SCIENCE; http://hdl.handle.net/11591/365134Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84906987359; http://springerlink.com/content/0302-9743/copyright/2005Test/

الإتاحة: https://doi.org/10.1007/978-3-319-10702-8_12Test
http://hdl.handle.net/11591/365134Test
http://springerlink.com/content/0302-9743/copyright/2005Test/

المؤلفون: Flammini, Francesco, Gentile, Ugo, Nardone, Roberto, Vittorini, Valeria, MARRONE, Stefano

المساهمون: AA.VV., Flammini, Francesco, Gentile, Ugo, Marrone, Stefano, Nardone, Roberto, Vittorini, Valeria

مصطلحات موضوعية: Generalized Stochastic Petri Net, Model-Based Vulnerability Assessment, Pattern Oriented Modelling, Physical Protection Systems Design, Computer Science (all), Theoretical Computer Science

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9783319105055; info:eu-repo/semantics/altIdentifier/wos/WOS:000360208400016; ispartofbook:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 33rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014; volume:8666; firstpage:230; lastpage:245; numberofpages:16; journal:LECTURE NOTES IN COMPUTER SCIENCE; http://hdl.handle.net/11591/365136Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84907069402; http://springerlink.com/content/0302-9743/copyright/2005Test/

الإتاحة: https://doi.org/10.1007/978-3-319-10506-2_16Test
http://hdl.handle.net/11591/365136Test
http://springerlink.com/content/0302-9743/copyright/2005Test/