Automatisation And NotZ. Mammeri
List of bibliographic references
Number of relevant bibliographic references: 7.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000366 | Ustun Yildiz [France] ; Olivier Perrin [France] ; Claude Godart [France] | On automating networked enterprise management |
| 000385 | Pascal Fontaine [France] ; Jean-Yves Marion [France] ; Stephan Merz [France] ; Leonor Prensa Nieto [France] ; Alwen Tiu [France] | Expressiveness + automation + soundness : Towards combining SMT solvers and interactive proof assistants |
| 000407 | JIA MENG [États-Unis] ; Claire Quigley [États-Unis] ; Lawrence C. Paulson [États-Unis] | Automation for interactive proof : First prototype |
| 000504 | Frédéric Blanqui [France] | Decidability of type-checking in the calculus of algebraic constructions with size annotations |
| 000692 | Pavel Afonine [France] ; Vladimir Y. Lunin [France, Russie] ; Alexandre Urzhumtsev [France] | MLMF: least-squares approximation of likelihood-based refinement criteria |
| 000964 | O. Kone [France] ; R. Castanet | Test generation for interworking systems |
| 000C70 | Y. Song [France] ; F. Simonot-Lion [France] ; N. Navet [France] | Validation of distributed real time systems thanks to performance evaluation of their physical architecture |
| This area was generated with Dilib version V0.6.33. |  |