1. Home
  2. Formal methods
  Subject:

Formal methods   New Search

View on DBpedia    View on Wikipedia
Top related subjects:
 Model checking Philosophy of mathematics Association for Computing Machinery Urinary catheterization Unified Modeling Language Unicast Truth condition The Blazing World Space Shuttle Enterprise Software-defined networking Formal methods Formal verification SPIN model checker Reference model Metaphysics Bertrand Russell Set theory René Descartes Logicism Algorithm Time complexity Institute of Electrical and Electronics Engineers Scopus PubMed Disease Catheter Vaginal bleeding Urinary tract infection Urinary retention Systems Modeling Language Semantic Web Object-oriented programming Multicast ZigBee Wireless mesh network Wireless LAN Rudolf Carnap Ludwig Wittgenstein Gottlob Frege Margaret Cavendish, Duchess of Newcastle-upon-Tyne Epistemology Logistic regression Odds ratio Vitrectomy Univariate analysis Weight distribution Traceroute Service-level agreement Path tracing OpenFlow
RELATED SUBJECTS:
The publications listed also have these subjects
Model checking  4 times
Philosophy of mathematics  2 times
Association for Computing Machinery  2 times
Unified Modeling Language  1 time
Revised Version  1 time
Program optimization  1 time
Personal digital assistant  1 time
Norwegian language  1 time
Network topology  1 time
Metaphysics  1 time
Machine tool  1 time
MEDLINE  1 time
Logic gate  1 time
International  1 time
Integrated development environment  1 time
Institute of Electrical and Electronics Engineers  1 time
Health technology assessment  1 time
Graph theory  1 time
Epistemology  1 time
Emergency department  1 time
Embase  1 time
Dialysis  1 time
Computer-aided design  1 time
Cochrane Library  1 time
Catheter  1 time
Caesarean section  1 time
Automation  1 time
Antibiotics  1 time
Ad hoc On-Demand Distance Vector Routing  1 time

Publications tagged with this subject: 13

Note: Top 50 publications shown only. Open an item panel to view more info (open all)


1. Empress vs. Spider-Man: Margaret Cavendish on pure and applied mathematics

2. Efficient verification of railway infrastructure designs against standard regulations

3. On compiling Boolean circuits optimized for secure multi-party computation

4. Automatic synthesis of rulesets for programmable stochastic self-assembly of rotationally symmetric robotic modules

5. A characterisation of verification tools for software defined networks

6. Modeling and efficient verification of wireless ad hoc networks

7. A star-style trust model with the ability of data recovery for trusted computing platform

8. Informing Reimbursement Decisions Using Cost-Effectiveness Modelling: A Guide to the Process of Generating Elicited Priors to Capture Model Uncertainties

9. Enhanced recovery after elective caesarean: a rapid review of clinical protocols, and an umbrella review of systematic reviews

10. The History and Prehistory of Natural-Language Semantics

11. Safety Analysis of Software Components of a Dialysis Machine Using Model Checking

12. Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework

13. DFDVis: A Visual Analytics System for Understanding the Semantics of Data Flow Diagram


Questions?

Drop us a message.