Вы здесь
Khendek F.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol | 2000 | Peng H., Tahar S., Khendek F. | Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000 | 26.12.2000 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Testing of Communicating Systems: Proc./17th IFIP TC6/WG 6.1 International Conference, TestCom 2005. Montreal, Canada, May/June 2005 | 2005 | Lecture Notes in Computer Science |
|
30.08.2005 | |||
| СБ | SDL 2013: Model-Drived Dependability Engineering: Proc./16th International SDL Forum, Montreal, Canada, June, 2013 | 2013 | Lecture Notes in Computer Science |
|
26.08.2013 |