-
1
المؤلفون: Schlick, Rupert, Felderer, Michael, 1978, Majzik, Istvan, Nardone, Roberto, Raschke, Alexander, Snook, Colin, Vittorini, Valeria
المصدر: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). :249-272
مصطلحات موضوعية: Benchmarks, Formal methods, Formal models, Industrial adoption, Benchmarking, Digital storage, Formal model, Good scientific practices, Open datum, Potential benefits, Potential users, Research fields
وصف الملف: print
-
2
المؤلفون: 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
-
3
المؤلفون: 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