Suggested Topics within your search.
Suggested Topics within your search.
1
Published 2013
Table of Contents: ';
“... in General Logics.- Semantics of the Distributed Ontology Language: Institutes and Institutions.- Formal...”Get full text
Electronic
2
Published 2013
Table of Contents: ';
“...Distributed computing models -- Formal specification -- Testing -- Verification methods...”Get full text
Electronic
3
4
Published 2007
Table of Contents: ';
“... of collective behavior in Ocsid -- Formal specification and verification of design patterns -- Spine: language...”View fulltext via EzAccess
Electronic
5
by ORegan, Gerard.
Published 2013
Table of Contents: ';
“... -- Formal Methods -- Z Formal Specification Language -- Number Theory -- Cryptography -- Coding Theory...”Published 2013
Get full text
Electronic
6
7
Published 2010
Table of Contents: ';
“... Animation for Formal Specification -- part 4 Using Simulink Design Verifier for proving behavioral...”Get full text
Electronic
8
Published 2011
Table of Contents: ';
“... Patelli -- 7. Formal specification and verification of self-configuring P2P networking: a case study...”Chapter PDFs via platform:
Electronic
9
10
Published 2013
Table of Contents: ';
“... Inference -- Formal Specification of an Erase Block Management Layer for Flash Memory -- Attention-Based...”Get full text
Electronic
11
Published 2005
Table of Contents: ';
“... / Xudong He -- 9. Formal specification of software model evolution using contracts / Claudia Pons, Gabriel...”View fulltext via EzAccess
Electronic
12
13
Published 2009
Table of Contents: ';
“... Spatial Knowledge Between Extended Objects -- 11. A Formal Specification of the Memorization Process --...”View fulltext via EzAccess
Electronic
14
Published 2012
Table of Contents: ';
“... monitored parallel on-chip system: a novel design paradigm and its formal specification / Liang Guang...”Chapter PDFs via platform:
Electronic
15
16
Table of Contents: ';
“... Object Behaviour -- Information Refraction -- A Pragmatic Approach to Formal Specification -- Anecdotes...”
View fulltext via EzAccess
View fulltext via EzAccess
Electronic