Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Robert Craven
Automated Error-Detection and Repair for Compositional Software Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Graph-Based Dispute Derivations in Assumption-Based Argumentation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Automated Error Detection Inreed-Solomon Encoders
International Journal of Innovative Technology and Exploring Engineering
Mechanics of Materials
Electronic Engineering
Civil
Structural Engineering
Electrical
Computer Science
Improving Effectiveness of Automated Software Testing in the Absence of Specifications
2006 22nd IEEE International Conference on Software Maintenance
FlipSphere: A Software-Based DRAM Error Detection and Correction Library for HPC
Ontology Based Specifications for Software Reliability Advancement
International Journal of Computer Applications
Automated Compositional Importance Splitting
Science of Computer Programming
Software
Composite Public Values and Software Specifications
Lecture Notes in Business Information Processing
Control
Systems Engineering
Information Systems
Business
International Management
Simulation
Management
Management Information Systems
Modeling
CSCW for Preparing Formal Software Specifications: Issues and Implementation
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications
Innovations in Systems and Software Engineering
Software
CellSpecks: A Software for Automated Detection and Analysis of Calcium Channels in Live Cells
Biophysical Journal
Biophysics
