Protocol verification with the ALDÉBARAN toolset.
| Autor: | Bozga, Marius, Fernandez, Jean-Claude, Kerbrat, Alain, Mounier, Laurent |
|---|---|
| Zdroj: | International Journal on Software Tools for Technology Transfer; Dec1997, Vol. 1 Issue 1/2, p166-183, 18p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
Full text from SpringerLink