-
1مؤتمر
المؤلفون: 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 -
2مؤتمر
المؤلفون: 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 -
3مؤتمر
المؤلفون: 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 -
4مؤتمر
المؤلفون: 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 -
5مؤتمر
المؤلفون: 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 -
6مؤتمر
المؤلفون: 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 -
7مؤتمر
المؤلفون: 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 -
8مؤتمر
المؤلفون: 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/ -
9مؤتمر
المساهمون: 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/