Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Naitik Gada
Exploring Property Based Aluminum Specifications
Related publications
Provisional Specifications for Prototypical Lithium-Aluminum Target Element 05T
The Algebraic Specifications Do Not Have the Tennenbaum Property
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
ANN Architecture Specifications for Modelling of Open-Cell Aluminum Under Compression
Mathematical Problems in Engineering
Mathematics
Engineering
Composing Specifications of Event Based Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Test Generation Based on Symbolic Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Coverage Criteria for Set-Based Specifications
Revista de Informatica Teorica e Aplicada
Computer Science
Bending Creep Property of Wood-Aluminum Hybrid Laminated Material
Mokuzai Gakkaishi
Web-Based Diagnosis of Model Specifications
Semantically Configurable Analysis of Scenario-Based Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
