Bartomeu Palmer

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
An expreimental CAD environment for distributed systems, and in particular for the telecommunications arena, integrating tools for simulation and for formal verification is outlined. The simulation part (PADDE, from Parallelism and Abstmction in Dimensional Design) is operative and under use. The verification part (SYR, from System Rules) is being(More)
  • 1