Search

Your search keyword '"Baxter, James"' showing total 30 results

Search Constraints

Start Over You searched for: Author "Baxter, James" Remove constraint Author: "Baxter, James" Publisher springer nature switzerland Remove constraint Publisher: springer nature switzerland
30 results on '"Baxter, James"'

Search Results

1. SmartAudits: Applying Timebands to a Medical Device

3. Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures

6. Verification Technology for VDM: Craft and Automation

8. Captured: Compositional and Modular Approaches to Concurrency

9. A Graphical Representation of Verification Proof Plans

10. ACL2 Support for Floating-Point Computations

11. Confidence in Assurance 2.0 Cases

12. Specifications are Preferably Amenable to Proof and Animation

13. What Is a Garbage Collector? An Exercise in Compositional Refinement

15. High Impact Malware Targeting Maritime Infrastructure

16. Rely-Guarantee Interpretation of Sequence Diagrams

17. A Concept-Oriented Approach to Software Development

19. Case Study: Modeling, Simulation, Verification, and Code Generation of an Automatic Cruise Control System

21. Analysing the Safety Implications of Security Risks in Cyber-Physical Systems

22. On the Formalization of the Notion of an Algorithm

23. On the Relational Basis of Early R/G Work

25. Uncertainty and Probabilistic UTP

27. Reasoning About Distributive Laws in a Concurrent Refinement Algebra

28. Validation of Formal Models: A Case Study

30. A Note on Proofs of Earley’s Recognizer

Catalog

Books, media, physical & digital resources