Difference between pages "Category:Software Model Check/Verification" and "User:Karl-Heinz Haefele"
(Difference between pages)
imported>Karl-Heinz Haefele |
imported>Karl-Heinz Haefele |
||
| Line 1: | Line 1: | ||
| + | Karl-Heinz Häfele |
||
| − | This category contain software for model checking and model verification |
||
| + | Institut für Angewandte Informatik (IAI) |
||
| + | Forschungszentrum Karlsruhe GmbH |
||
| + | Hermann-von-Helmholtz-Platz 1 |
||
| + | 76344 Eggenstein-Leopoldshafen |
||
| + | Tel.: 0049 7247 82-5745, Fax: 0049 7247 82-5786 |
||
| + | E-Mail: karl-heinz.haefele@iai.fzk.de |
||
Revision as of 09:44, 1 August 2006
Karl-Heinz Häfele Institut für Angewandte Informatik (IAI) Forschungszentrum Karlsruhe GmbH Hermann-von-Helmholtz-Platz 1 76344 Eggenstein-Leopoldshafen Tel.: 0049 7247 82-5745, Fax: 0049 7247 82-5786 E-Mail: karl-heinz.haefele@iai.fzk.de
This category currently contains no pages or media.
