| Document Date: 2013-02-27 16:36:12
Open Document File Size: 341,90 KBShare Result on Facebook
Company ETB / France Computer Science Laboratory / SRI International / using ETB / / / IndustryTerm external tool / software stack / local area network / distributed query processing / Formal and semi-formal tools / diverse tools / reference to external tools / formal verification tools / supported software / external tools / individual tools / declarative networking / together tools / formal tools / connected network / transition systems / software properties / coarse-grained distributed computing / software systems / in tying together tools / / OperatingSystem Unix / Linux / Android / Microsoft Windows / / Organization National Science Foundation / Ecole Polytechnique / National Aeronautics and Space Administration / Program Committee / / Person Ai / / Position translator / / Product Datalog / / ProgrammingLanguage Prolog / Datalog / / Technology LAN / JSON / Linux / Unix / API / simulation / Android / / URL http /
SocialTag |
Appears in Proceedings of VMCAI2013, Springerlink. The final publication is available at http://link.springer.com/chapter%2F978. Its DOI isTool Integration with the