Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Darpan Saini
A Language-Based Approach to Specification and Enforcement of Architectural Protocols
Related publications
A Hierarchical Policy Specification Language, and Enforcement Mechanism, for Governing Digital Enterprises
A Graph Based Architectural (Re)configuration Language
Specification and Verification of Networks in a Petri Net Based Language
DAIMI Report Series
A Practical Approach to Incremental Specification
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Specification-Based Testing via Domain Specific Language
Research Papers Faculty of Materials Science and Technology Slovak University of Technology
A Usage-Based Approach to Child Language Acquisition
Annual Meeting of the Berkeley Linguistics Society
A Functional-Test Specification Language.
Introducing H, an Institution-Based Formal Specification and Verification Language
Logica Universalis
Applied Mathematics
Logic
A Visual Specification Language for Model-To-Model Transformations
