Outil logiciel And NotO. Festor
List of bibliographic references
Number of relevant bibliographic references: 6.Ident. | Authors (with country if any) | Title |
---|---|---|
000336 | Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France] | Towards formal verification of web service composition |
000560 | Solen Corvez [France] ; Fabrice Rouillier [France] | Using computer algebra tools to classify Serial manipulators |
000B97 | O. Galibert [France] | YLC A C+ + Linda system on top of PVM |
000C02 | S. Collin [France] ; D. Colnet ; O. Zendra | Type inference for late binding : The SmallEiffel compiler |
000C21 | N. Levy [France] ; J. Souquieres [France] | Modelling specification construction by successive approximations |
000D21 | A. Mensch [France] ; F. Charpillet [France] | The REAKT project : Environment and methodology for the development of real-time knowledge-based systems |
This area was generated with Dilib version V0.6.33. |