Suggested Topics within your search.
Suggested Topics within your search.
1
2
3
4
5
6
Published 2010
Table of Contents: ';
“... Ate my Vote -- Formal Methods for Biomechanical Signalling Pathways -- Separation Logic...”Get full text
Electronic
7
8
Published 2007
Subjects: ';
“...Formal methods (Computer science)...”View fulltext via EzAccess
Electronic
9
10
11
12
13
14
15
Published 2013
Table of Contents: ';
“...Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear...”Get full text
Electronic
16
17
18
19
Published 2013
Table of Contents: ';
“...Model checking -- Applications of formal methods -- Complex systems -- Static analysis -- Symbolic...”Get full text
Electronic
20