Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by R.D. Arthan
A Verified Formal Model of a VC Generator
2006 30th Annual IEEE/NASA Software Engineering Workshop
Related publications
A Formal Model of Requirements
Open Transportation Journal
Modeling
Transportation
Simulation
A Formal Model of Identity Mixer
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Model of Data Privacy
Esterel V7: From Verified Formal Specification to Efficient Industrial Designs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Developing a Formal Model of Argumentation-Based Dialogue
A Formal Model of the Software Test Process
IEEE Transactions on Software Engineering
Software
A Formally Verified NAT Stack
A Formal Security Model for Microprocessor Hardware
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Relaxation Oscillations for a Model of a Catalytic Particle
Quarterly of Applied Mathematics
Applied Mathematics
