Fares Saad-Khorchef

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

2 EE Fares Saad-Khorchef, Antoine Rollet, Richard Castanet: A framework and a tool for robustness testing of communicating software. SAC 2007: 1461-1466

1 EE Antoine Rollet, Fares Saad-Khorchef: A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis. SERA 2007: 667-674

2007
2	EE	Fares Saad-Khorchef, Antoine Rollet, Richard Castanet: A framework and a tool for robustness testing of communicating software. SAC 2007: 1461-1466
1	EE	Antoine Rollet, Fares Saad-Khorchef: A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis. SERA 2007: 667-674

Coauthor Index

1 Richard Castanet [2]

2 Antoine Rollet [1] [2]