Formal Verification of Conflict Detection Algorithms

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-44798-9_31
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Formal Verification of IA-64 Division Algorithms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms

IEEE Transactions on Software Engineering
Software
1999English

Randomized Algorithms for Probabilistic Aircraft Conflict Detection

English

Conflict Resolution Algorithms for Fault Detection and Diagnosis

2011English

Formal Verification of Pipelined Processors

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Formal Verification of NTRUEncrypt Scheme

International Journal of Computer Network and Information Security
2016English

Formal Verification of Netlog Protocols

2012English

Formal Verification of Hybrid Systems

2011English

Evaluation of Face Detection Algorithms for the Bank Client Identity Verification

Foundations of Computing and Decision Sciences
Computer ScienceTheoretical Computer Science
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy