Modeling and Verification of Hybrid Systems Based on Equations

収録刊行物

• Proc.of the IFIP 18th World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems

  Proc.of the IFIP 18th World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems 43-52, 2004