-
1On 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
-
2On 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
-
3
المؤلفون: 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
-
4
المؤلفون: 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
-
5
المؤلفون: Bernardi, S., Flammini, Francesco, 1978, Marrone, S., Mazzocca, N., Merseguer, J., Nardone, R., Vittorini, V.
المصدر: Reliability Engineering & System Safety. 120:112-126
مصطلحات موضوعية: Availability analysis, Formal models, Model-Driven engineering, Railway systems, RAM requirements, UML profiles, Bayesian networks, Dams, Markup languages, Railroads, Rails, Reliability analysis, Unified Modeling Language, Formal model, Railway system, Railroad transportation, Software Technology, Programvaruteknik
وصف الملف: print
-
6
المؤلفون: Bernardi, S., Flammini, Francesco, Senior Lecturer, 1978, Marrone, S., Mazzocca, N., Merseguer, J., Nardone, R., Vittorini, V.
المصدر: Reliability Engineering & System Safety. 120:112-126
مصطلحات موضوعية: Availability analysis, Formal models, Model-Driven engineering, Railway systems, RAM requirements, UML profiles, Bayesian networks, Dams, Markup languages, Railroads, Rails, Reliability analysis, Unified Modeling Language, Formal model, Railway system, Railroad transportation, Software Technology, Programvaruteknik
وصف الملف: print