Verification and Simulation of Time-Domain Properties for Models of Behaviour.
Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth
VenueCMODELSWARD
Year2020
ProceedingsMODELSWARD (Revised Selected Papers)
DBLP recordconf/modelsward/CarrilloER20a ↗
Browse the full MODELSWARD paper archive.