Amanote Research
Register
Sign In
Bounded Verification of Ruby on Rails Data Models
doi 10.1145/2001420.2001429
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2011
Authors
Jaideep Nijjar
Tevfik Bultan
Publisher
ACM Press
Related search
Time-Bounded Verification of CTMCs Against Real-Time Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
EMF on Rails
Bounded Rationality in Newsvendor Models
Manufacturing and Service Operations Management
Management Science
Management
Operations Research
Strategy
Stress Analysis on Behaviour of Rails
International Journal of Engineering Research
Automating the Verification of Heritage Building Information Models Created From Point Cloud Data
ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
Bounded Timing Models for Digital Gates.
On Transforming Statistical Models for Non-Frontal Face Verification
Pattern Recognition
Signal Processing
Computer Vision
Pattern Recognition
Artificial Intelligence
Software
A Bounded Model Checking Approach for the Verification of Web Services Composition
International Journal of Web Services Research
Computer Networks
Software
Information Systems
Communications
Memory Bounded Inference in Topic Models
