-
101
-
102Έκδοση 2016Πίνακας περιεχομένων: “…Interdisciplinary formal methods -- Formal methods in practice -- Tools for formal methods -- Role…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
103
-
104Έκδοση 2009Πίνακας περιεχομένων: “…Invited Papers -- Formal Methods for Privacy -- What Can Formal Methods Bring to Systems Biology…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
105Έκδοση 2009Πίνακας περιεχομένων: “… Filestore in Event-B -- An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
106
-
107
-
108
-
109
-
110
-
111
-
112Έκδοση 2012Πίνακας περιεχομένων: “… applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
113
-
114
-
115Έκδοση 2012Πίνακας περιεχομένων: “…Toward Practical Application of Formal Methods in Software Lifecycle Processes -- Formal Methods…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
116
-
117
-
118
-
119
-
120