Departamento de Ingenier�a de Sistemas Telematicos, ETSI Telecomunicaci�n, Universidad Polit�cnica de Madrid, Ciudad Universitaria, E-28040 Madrid, Spain;
机译:反应系统工具集的细化微积分
机译:在Coq中嵌入细化演算
机译:基于pi演算的动态图细化检查
机译:VHDL的精细计算
机译:数据优化的核心演算
机译:基于PWL功能的多涡旋混沌振荡器的FPGA实现的VHDL描述
机译:VHDL的微积分