Static analysis of control-command systems : floating-point and integer invariants. (Analyse statique des syst√®mes de contr√īle-commande : invariants entiers et flottants).
Static analysis of control-command systems : floating-point and integer invariants. (Analyse statique des syst√®mes de contr√īle-commande : invariants entiers et flottants).
(xsd:string)
Static analysis of control-command systems : floating-point and integer invariants. (Analyse statique des syst√®mes de contr√īle-commande : invariants entiers et flottants).
(xsd:string)