Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David Kinny
A Formal Specification of dMARS
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Formal Specification and Verification
Toward a Formal Specification of Menu-Based Systems
Journal of Systems and Software
Hardware
Information Systems
Architecture
Software
A Formal Specification of the CORBA Event Service
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
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
Formal Specification of a Truck Geo-Location Big-Data Application
International Journal of Advanced Computer Science and Applications
Computer Science
Synthesis of AMBA AHB From Formal Specification: A Case Study
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Formal Specification and Verification of Dynamic Parametrized Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A New Approach to the Formal Explicit Specification of Knowledge Acquisition
Mathematical machines and systems
