UML-B Specification for Proven Embedded Systems Design by Jean Mermet (English)
167,25 €
14 The Echo Cancellation Unit Case Study. This will be done by combining the UML and B languages to allow the verification of system specifications through the composition of proven sub-systems (in particular interfaces, using the VSIAISLIF standard).
Jetzt bei Ebay: