مرور بر اساس تاریخ انتشار Computer software ; Re

Showing results 1 to 1 of 1
PreviewIssue DateTitleContributor(s)
9783319671130.pdf.jpg2017Critical systems :International Workshop on Formal Methods for Industrial Critical Systems ; (22nd : ; 2017 : ; Turin, Italy), ; jointly held conference ;; International Workshop on Automated Verification of Critical Systems ; (17th : ; 2017 : ; Turin, Italy), ; jointly he; Petrucci, Laure, ; editor ;; Seceleanu, Cristina, ; editor ;; Cavalcanti, Ana, ; editor ;
Showing results 1 to 1 of 1