Item request has been placed!
×
Item request cannot be made.
×

Processing Request
Item request has been placed!
×
Item request cannot be made.
×

Processing Request
-
Source:
Lecture Notes in Computer Science ; Leveraging Applications of Formal Methods, Verification and Validation ; page 146-161 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030891589 9783030891596
تفاصيل العنوان
-
Source:
Advanced Information Systems Engineering ; Lecture Notes in Computer Science ; page 85-100 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030494346 9783030494353
تفاصيل العنوان
-
Authors :
Di Nitto, Elisabetta; Matthews, Peter; Petcu, Dana
-
Source:
SpringerBriefs in Applied Sciences and Technology ; ISSN 2191-530X 2191-5318 ; ISBN 9783319460307 9783319460314
تفاصيل العنوان