Searching for "Formal Methods in Computation." – sorted by Relevance.
149 documents found, showing 1 through 10.
Next 10 →
-
Lightweight Formal Methods For Computer Algebra Systems
- …Lightweight Formal Methods For Computer Algebra Systems Martin Dunstan, Tom Kelsey, Steve Linton…
- Cited by 12 (5 self) – Add To MetaCart
-
An experiment in parallelizing an application using formal methods - Computer Aided Parallelization
- …An experiment in parallelizing an application using formal methods Computer Aided Parallelization…
- Cited by 4 (2 self) – Add To MetaCart
-
Definitive Principles for Interactive Graphics
- …, with a view to developing abstract models and formal methods for computer aided design. Keywords…
- Add To MetaCart
-
An outline pattern language for Z: five illustrations and two tables
- …,fiona,ian}@(email omitted); Abstract. We introduce a pattern language for using formal methods in computer system engineering. We focus…
- Cited by 2 (2 self) – Add To MetaCart
-
The Newsletter of the BCS Formal Aspects of Computing Science Special Interest Group and Formal
- … of Computing Science Special Interest Group and Formal Methods Europe. Series I Vol. 3, No. 4, Winter 1998 ISSN…
- Add To MetaCart
-
Development of Correct Real-Time Systems by Refinement
- … I The Background 1 1 Instead of an Introduction: Formal Methods in Computing Science 3 1.1 How…
- Cited by 4 (1 self) – Add To MetaCart
-
Composability For Secure Systems Final Report
- …, design refinement, formal methods, computer security, fault tolerance, restrictiveness, noninterference…
- Add To MetaCart
-
Curriculum Vita
- … Interests Computer-aided verification, diagrammatic logic, and formal methods Education Ph.D. in Computer…
- Add To MetaCart
-
Equational Reasoning In Saturation-Based Theorem Proving
- … Equational reasoning is fundamental in mathematics, logics, and many applications of formal methods…
- Cited by 28 (2 self) – Add To MetaCart
-
Mathematical Free-Form Solid Modelling Based On Extended Simplicial Chains
- … for its representation. Keywords: formal methods in computer graphics, mathematical models, free…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
