Leveraging Applications of Formal Methods, Verification and Validation: Third In
165,91 €
Invited Talks. - Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress). - Animating Event B Models by Formal Data Models. - of Multi-core Systems in Automotive Applications.
Jetzt bei Ebay:
