Skip to main content
Skip to navigation
Skip to toolbar

Browse by Author

1 Results for "Takaragi, Kazuo"

Subscribe to RSS feed for this result set

Sort results by

Results per page

1. Specifying and Verifying Hysteresis Signature System with HOL-Z

Basin, David A., Kuruma, Hironobu, Takaragi, Kazuo and Wolff, Burkhart (2005)

Reports Reports