Suggested Topics within your search.
Suggested Topics within your search.
81
82
83
Published 2009
Table of Contents: ';
“... systems / Roman Beck, Jochen Franke -- 16. SEACON / Surya Yadav -- 17. Formal methods for specifying...”View fulltext via EzAccess
Electronic
84
85
Published 2011
Table of Contents: ';
“.... Automated formal methods for security protocol engineering / Alfredo Pironti, Davide Pozza and Riccardo...”Chapter PDFs via platform:
Electronic
86
87
88
89
90
Published 2007
Table of Contents: ';
“.... Formal methods for specifying and analyzing complex software systems / Xudong He, Huiqun Yu, Yi Deng....”View fulltext via EzAccess
Electronic
91
by Fomichov A., Vladimir.
Published 2010
Table of Contents: ';
“... Mathematical Model for Web Science, E-Science, E-Commerce -- Part II: Formal Methods and Algorithms...”Published 2010
Get full text
Electronic
92
Published 2013
Table of Contents: ';
“...Invited Talks -- Applying Formal Methods in the Large -- Automating Theorem Proving with SMT...”Get full text
Electronic
93
94
Published 2013
Table of Contents: ';
“... Combining Conventional and Formal Methods -- The Conceptual Model is The Code. Why Not? -- Architecture...”Get full text
Electronic
95
Published 2009
Table of Contents: ';
“...Formal Methods in Cross Layer Modeling and Optimization of Wireless Networks: State of the Art...”View fulltext via EzAccess
Electronic
96
Published 2008
Table of Contents: ';
“... Models / Yacine Djemaiel, Slim Rekhis, Noureddine Boudriga -- The Provably Secure Formal Methods...”View fulltext via EzAccess
Electronic