Author:Ahmed Hadj Kacem
Keyphrasesannotation, annotation system, Classification, consumer, correct-by-construction, distributed algorithm, e-business, enumeration problem, Event-B, Local computations. |
| ||||
| ||||
| Copyright © 2012-2024 easychair.org. All rights reserved. |