-
1
المؤلفون: Meo, Carlo Di, Vaio, Marco Di, Flammini, Francesco, Senior Lecturer, 1978, Nardone, Roberto, Santini, Sefania, Vittorini, Valeria
المصدر: IEEE transactions on intelligent transportation systems (Print). 21(6):2545-2556
مصطلحات موضوعية: CPS, safety, modeling, reliability, signalling, railways, ERTMS/ETCS, automatic train control, virtual coupling, simulation, numerical analysis, Computer Science, Datavetenskap, Data- och informationsvetenskap, Computer and Information Sciences Computer Science, Software Technology, Programvaruteknik, Informatik, Information Systems
وصف الملف: print
-
2
المؤلفون: Meo, Carlo Di, Vaio, Marco Di, Flammini, Francesco, Senior Lecturer, 1978, Nardone, Roberto, Santini, Sefania, Vittorini, Valeria
المصدر: IEEE transactions on intelligent transportation systems (Print). 21(6):2545-2556
مصطلحات موضوعية: CPS, safety, modeling, reliability, signalling, railways, ERTMS/ETCS, automatic train control, virtual coupling, simulation, numerical analysis, Computer Science, Datavetenskap, Data- och informationsvetenskap, Computer and Information Sciences Computer Science, Software Technology, Programvaruteknik, Informatik, Information Systems
وصف الملف: print
-
3
المؤلفون: Flammini, Francesco, 1978, Marrone, Stefano, Mazzocca, Nicola, Nardone, Roberto, Vittorini, Valeria
المصدر: IFAC-PapersOnLine. :682-687
مصطلحات موضوعية: 2-out-of-3 voting, Bayesian Networks, Cyber-physical protection systems, Decision fusion, Sensor reliability, Complex networks, Fault detection, Network security, Plant management, Cyber physicals, False alarm probability, Multi-sensor applications, Probabilistic formalism, Quantitative comparison, Sensor reliabilities, Software Technology, Programvaruteknik
وصف الملف: print
-
4On synergies of cyber and physical security modelling in vulnerability assessment of railway systems
المؤلفون: Marrone, Stefano, Rodríguez, Ricahrdo J., Nardone, Roberto, Flammini, Francesco, Senior Lecturer, 1978, Vittorini, Vittorini
المصدر: Computers & electrical engineering. 47:275-285
مصطلحات موضوعية: Bayesian networks, Cyber-physical systems, Generalized stochastic Petri nets, UML profile, Vulnerability assessment, Complex networks, Embedded systems, Markup languages, Mergers and acquisitions, Petri nets, Railroads, Risk perception, Stochastic systems, Unified Modeling Language, Cyber physical systems (CPSs), Model-driven techniques, Physical and cyber security, Physical elements, Physical security, Uml profiles, Vulnerability assessments, Railroad transportation, Software Technology, Programvaruteknik
وصف الملف: print
-
5
المؤلفون: Flammini, Francesco, Senior Lecturer, 1978, Marrone, Stefano, Mazzocca, Nicola, Nardone, Roberto, Vittorini, Valeria
المصدر: IFAC-PapersOnLine. :682-687
مصطلحات موضوعية: 2-out-of-3 voting, Bayesian Networks, Cyber-physical protection systems, Decision fusion, Sensor reliability, Complex networks, Fault detection, Network security, Plant management, Cyber physicals, False alarm probability, Multi-sensor applications, Probabilistic formalism, Quantitative comparison, Sensor reliabilities, Software Technology, Programvaruteknik
وصف الملف: print
-
6On synergies of cyber and physical security modelling in vulnerability assessment of railway systems
المؤلفون: Marrone, Stefano, Rodríguez, Ricahrdo J., Nardone, Roberto, Flammini, Francesco, Senior Lecturer, 1978, Vittorini, Vittorini
المصدر: Computers & electrical engineering. 47:275-285
مصطلحات موضوعية: Bayesian networks, Cyber-physical systems, Generalized stochastic Petri nets, UML profile, Vulnerability assessment, Complex networks, Embedded systems, Markup languages, Mergers and acquisitions, Petri nets, Railroads, Risk perception, Stochastic systems, Unified Modeling Language, Cyber physical systems (CPSs), Model-driven techniques, Physical and cyber security, Physical elements, Physical security, Uml profiles, Vulnerability assessments, Railroad transportation, Software Technology, Programvaruteknik
وصف الملف: print
-
7
المؤلفون: Marrone, Stefano, Flammini, Francesco, Senior Lecturer, 1978, Mazzocca, Nicola, Nardone, Roberto, Vittorini, Valeria
المصدر: International Journal on Software Tools for Technology Transfer. 16(6):669-683
مصطلحات موضوعية: Critical Systems, Model-Driven, Railway Systems, Transformations, UML Profiles, Verification and Validation, High level languages, Life cycle, Mathematical transformations, Railroad transportation, Railroads, Specifications, Model-driven Engineering, Non-functional requirements, Railway system, System development life cycles, Test case specifications, Unified Modeling Language, Software Technology, Programvaruteknik
وصف الملف: print
-
8
المؤلفون: Flammini, Francesco, 1978, Gentile, Ugo, Marrone, Stefano, Nardone, Roberto, Vittorini, Valeria
المصدر: Computer Safety, Reliability, and Security. SAFECOMP 2014 Lecture Notes in Computer Science. :230-245
مصطلحات موضوعية: Generalized Stochastic Petri Nets, Model-Based Vulnerability Assessment, Pattern Oriented Modelling, Physical Protection Systems Design, Design, Petri nets, Stochastic models, Stochastic systems, Behavioural aspects, Pattern-oriented modelling, Physical protection systems, Quantitative estimation, System vulnerability, Vulnerability assessments, Vulnerability models, Security of data, Software Technology, Programvaruteknik
وصف الملف: print
-
9
المؤلفون: Flammini, Francesco, Senior Lecturer, 1978, Gentile, Ugo, Marrone, Stefano, Nardone, Roberto, Vittorini, Valeria
المصدر: Computer Safety, Reliability, and Security. SAFECOMP 2014 Lecture Notes in Computer Science. :230-245
مصطلحات موضوعية: Generalized Stochastic Petri Nets, Model-Based Vulnerability Assessment, Pattern Oriented Modelling, Physical Protection Systems Design, Design, Petri nets, Stochastic models, Stochastic systems, Behavioural aspects, Pattern-oriented modelling, Physical protection systems, Quantitative estimation, System vulnerability, Vulnerability assessments, Vulnerability models, Security of data, Software Technology, Programvaruteknik
وصف الملف: print
-
10
المؤلفون: Marrone, Stefano, Flammini, Francesco, Senior Lecturer, 1978, Mazzocca, Nicola, Nardone, Roberto, Vittorini, Valeria
المصدر: International Journal on Software Tools for Technology Transfer. 16(6):669-683
مصطلحات موضوعية: Critical Systems, Model-Driven, Railway Systems, Transformations, UML Profiles, Verification and Validation, High level languages, Life cycle, Mathematical transformations, Railroad transportation, Railroads, Specifications, Model-driven Engineering, Non-functional requirements, Railway system, System development life cycles, Test case specifications, Unified Modeling Language, Software Technology, Programvaruteknik
وصف الملف: print