-
1
المؤلفون: Flammini, Francesco, Senior Lecturer, 1978, Marrone, Stefano, Nardone, Roberto, Caporuscio, Mauro, 1975, D'Angelo, Mirko
المصدر: Future generations computer systems. 112:965-981
مصطلحات موضوعية: Decision fusion, Performance evaluation, Run-time models, Bayesian networks, Cyber-physical systems, Intelligent transportation, Computer Science, Datavetenskap
وصف الملف: print
-
2
المؤلفون: Flammini, Francesco, Senior Lecturer, 1978, Marrone, Stefano, Nardone, Roberto, Caporuscio, Mauro, D'Angelo, Mirko
المصدر: Future generations computer systems. 112:965-981
مصطلحات موضوعية: Decision fusion, Performance evaluation, Run-time models, Bayesian networks, Cyber-physical systems, Intelligent transportation, Computer Science, datavetenskap
وصف الملف: print
-
3
المؤلفون: Flammini, Francesco, 1978, Marrone, Stefano, Mazzocca, Nicola, Nardone, Roberto, Vittorini, Valeria
المصدر: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. ISoLA 2012 Lecture Notes in Computer Science. :190-204
مصطلحات موضوعية: Critical Systems, Domain Specific Languages, Model-Driven Engineering, Railway Systems, Verification & Validation, Computer based control systems, Computer-based system, Development process, Enabling techniques, Flexible tool, Formal modeling, Functional requirement, Industrial context, Industrial settings, Message delivery, Model driven approach, Model-driven, Non-functional, Performance evaluation, Railway system, Recent trends, Signalling systems, System property, Test case generation, Verification and validation, Verification process, Artificial intelligence, Software engineering, Software Technology, Programvaruteknik
وصف الملف: print
-
4
المؤلفون: Flammini, Francesco, Senior Lecturer, 1978, Marrone, Stefano, Mazzocca, Nicola, Nardone, Roberto, Vittorini, Valeria
المصدر: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. ISoLA 2012 Lecture Notes in Computer Science. :190-204
مصطلحات موضوعية: Critical Systems, Domain Specific Languages, Model-Driven Engineering, Railway Systems, Verification & Validation, Computer based control systems, Computer-based system, Development process, Enabling techniques, Flexible tool, Formal modeling, Functional requirement, Industrial context, Industrial settings, Message delivery, Model driven approach, Model-driven, Non-functional, Performance evaluation, Railway system, Recent trends, Signalling systems, System property, Test case generation, Verification and validation, Verification process, Artificial intelligence, Software engineering, Software Technology, Programvaruteknik
وصف الملف: print