Search
 
   

2 results for "domain:hal.upmc.fr"

  1. 3
    Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design ☶ pdf c formalmethods hardware hal.upmc.fr
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  2. 6
    A comprehensive study of Convergent and Commutative Replicated Data Types pdf distributed hal.upmc.fr
    pushcx avatar via pushcx 1 year ago | cached | no comments