Search

Your search keyword '"Araki, Keijiro"' showing total 574 results

Search Constraints

Start Over You searched for: Author "Araki, Keijiro" Remove constraint Author: "Araki, Keijiro"
574 results on '"Araki, Keijiro"'

Search Results

1. ViennaDoc: An Animatable and Testable Specification Documentation Tool

2. Towards Verifying VDM Using SPIN

3. Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa’s Case (Extended Abstract)

4. Practices for Formal Models as Documents: Evolution of VDM Application to 'Mobile FeliCa' IC Chip Firmware

5. Evolution of random synaptic weights of the hopfield associative memory : how chaotic trajectories turn into fixed point attractors?

7. Privacy-Aware Location Dependent Services over Wireless Internet with Anycast

20. ViennaDoc:An animatable and testable specification documentation tool

Catalog

Books, media, physical & digital resources