Jakarta
From MaRDI portal
Software:14009
swMATH1269MaRDI QIDQ14009FDOQ14009
Author name not available (Why is that?)
Cited In (16)
- Theorem Proving in Higher Order Logics
- Title not available (Why is that?)
- The Web services resource framework in a peer-to-peer context
- Tool-assisted specification and verification of typed low-level languages
- Association Rules Using Rough Set and Association Rule Methods
- Dynamic data integration for structural modeling: Model screening approach using a distance-based model parameterization
- Title not available (Why is that?)
- A metamodel of access control for distributed environments: applications and properties
- Optimal and sustainable extraction of groundwater in coastal aquifers
- Ott: Effective tool support for the working semanticist
- Program transformations for light-weight CPU accounting and control in the Java virtual machine
- Title not available (Why is that?)
- Title not available (Why is that?)
- Extracting a data flow analyser in constructive logic
- A distance-based prior model parameterization for constraining solutions of spatial inverse problems
- Certified Static Analysis by Abstract Interpretation
This page was built for software: Jakarta
