Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ivan Stojic
Formal Specification and Verification of Dynamic Parametrized Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Formal Specification and Verification
Formal Specification and Verification of CRDTs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Specification of Gateways in Integrated Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Enhancing Formal Specification and Verification of E-Commerce Protocol
Journal of Advanced Computer Science & Technology
Dynamic Access Control Policies: Specification and Verification
Computer Journal
Computer Science
Introducing H, an Institution-Based Formal Specification and Verification Language
Logica Universalis
Applied Mathematics
Logic
Formal Specification and Verification of Real-Time Systems Using Graph Grammars
Journal of the Brazilian Computer Society
Computer Science
Formal Specification and Verification of Real-Time Systems Using Graph Grammars
Journal of the Brazilian Computer Society
Computer Science
Formal Specification and Verification of Communication in Network-On-Chip: An Overview
International Journal of Recent Contributions from Engineering, Science & IT (iJES)
