-
1421
-
1422Έκδοση 2013Πίνακας περιεχομένων: “… and Ontological Reasoning -- Program Transformation Based on Symbolic Execution and Deduction -- Constraint…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1423
-
1424Έκδοση 2013Πίνακας περιεχομένων: “… Execution.…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1425Έκδοση 2006Πίνακας περιεχομένων: “…Lazy and Speculative Execution in Computer Systems -- In Search of the Holy Grail: Looking…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1426Έκδοση 2009Πίνακας περιεχομένων: “… 2005 -- Predicated Worst-Case Execution-Time Analysis -- Implementing Reactive Systems with UML State…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1427Έκδοση 2008Πίνακας περιεχομένων: “… Symbolic Execution -- Static Detection of Place Locality and Elimination of Runtime Checks -- Certified…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1428Έκδοση 2009Πίνακας περιεχομένων: “… with Abstraction-Guided Symbolic Execution -- Subsumer-First: Steering Symbolic Reachability Analysis…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1429
-
1430
-
1431
-
1432
-
1433
-
1434
-
1435
-
1436
-
1437Έκδοση 2017Πίνακας περιεχομένων: “… Services with COASTmed -- Process Execution and Enactment in Medical Environments -- Engineering A…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1438
-
1439Έκδοση 2009Πίνακας περιεχομένων: “… -- Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1440