ARA. Rifaut
A. Rifaut
*This is an algorithmically generated author record based on publicly available information.
Research Subjects
A. Rifaut has a total of 5 co-authors. Here are the top co-authors by number of shared publications:
- Axel van Lamsweerde
ICTEAM Institute, Department of Computing Science, Université catholique de Louvain, B-1348 Louvain-la-Neuve, Belgium
1 shared publication - Christophe Ponsard
CETIC Research Centre
1 shared publication - H. Tran Van
UCL, Brussels, Belgium
1 shared publication - J. F. Molderez
CETIC Research Center, Brussels, Belgium
1 shared publication - Philippe Massonet
CETIC
1 shared publication
Latest Publications
- 21 December 2006
- Published by Springer Nature in Formal Methods in System Design
- Vol. 30 (3) , 233-247
Early verification and validation of mission critical systems
- 21 December 2006
- Published by Springer Nature in Formal Methods in System Design
- Vol. 30 (3) , 233-247
Early verification and validation of mission critical systems