Search Results - formal verification
Suggested Topics within your search.
Suggested Topics within your search.
- Formal methods (Computer science) 3
- Data processing 2
- Development 2
- Application software 1
- Combat 1
- Computer simulation 1
- Computer software 1
- Dialectical materialism 1
- Geographic information systems 1
- Integrated circuits 1
- Management 1
- Marxian economics 1
- Mathematical models 1
- Military art and science 1
- Railroads 1
- Simulation methods 1
- Systems on a chip 1
- Testing 1
- UML (Computer science) 1
- Verification 1
- War games 1
-
1
-
2
Verification techniques for system-level design
Published 2008Subjects: An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
3
Formal method industrial use from model to the code /
Published 2012Table of Contents: “…From classic languages to formal methods -- Formal method in railway, the first complex application : SAET-METEOR -- B method and B tools -- Model-based design using Simulink : modeling, code generation, verification, and validation -- Proof of global properties with the aid of the Simulink Design verifier proof tool -- SCADE : implementation and applications -- GATel : a V & V platform for scade models -- Control build.…”
An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
4
Principles of geographical information systems /
Published 2015Table of Contents: “…Special data and their models : formal abstractions of reality -- 3. Geographical data in the computer -- 4. …”
Table of contents only
Publisher description
Book -
5
Behind the crisis Marx's dialectics of value and knowledge /
Published 2011Table of Contents: “…Foreword: on Marx's contemporary relevance -- Method -- The need for dialectics -- Dialectical logic and social phenomena -- The dialectics of individual and social phenomena -- Class-analysis and the sociology of non-equilibrium -- A dialectics of nature? -- Formal logic and dialectical logic -- Induction, deduction and verification -- Debates -- Recasting the issues -- Abstract labour as the only source of (surplus-) value -- The materiality of abstract labour -- The tendential fall in the average profit-rate (ARP) -- The transformation-'problem' -- The alien rationality of homo economicus -- Crises -- Alternative explanations -- The cyclical movement -- The subprime debacle -- Either Marx or Keynes -- Subjectivity -- Crisis-theory and the theory of knowledge -- Neither information-society nor service-society -- Individual knowledge -- Social knowledge -- Labour's knowledge -- Knowledge and value -- The general intellect -- Science, technique and alien knowledge -- Trans-epochal and trans-class knowledge -- Knowledge and transition.…”
An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
6
Engineering principles of combat modeling and distributed simulation
Published 2012Table of Contents: “…Noseworthy -- Combat modeling using the DEVS formalism / I.-C. Moon & T.G. Kim -- GIS data for combat modeling / J.D. …”
An electronic book accessible through the World Wide Web; click to view
Electronic eBook