La PLC dans Lutess. Le test la PLC. Conclusions. Vision synchrone. Logiciel. synchrone ... c = a ? b abstrait par c = b. a = pre(a) and b abstrait par implies(a,b) boite noire vs. ...
1.3 : Document :Principes de conversion en contraintes des objectifs ... conditions licites d'utilisation, ses op rations fournissent le service attendu ...