Browsen nach Autor

Autor (A-Z) "Kuruma, Hironobu"

2 Ergebnisse von "Kuruma, Hironobu"

Diese Suchanfrage als RSS-Feed abonnieren

1. Developing topology discovery in Event-B*

Hoang, Thai Son, Kuruma, Hironobu, Basin, David A. und Abrial, Jean-Raymond (2008)


Reports

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

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


Reports