
McSCert
McMaster University
The McMaster Centre for Software Certification research centre at McMaster University, ON, Canada. For questions about our tools, email us at: mcscert.tools@gmail.com
Estadística
12 Archivos
CLASIFICACIÓN
N/A
of 297.457
REPUTACIÓN
N/A
CONTRIBUCIONES
0 Preguntas
0 Respuestas
ACEPTACIÓN DE RESPUESTAS
0.00%
VOTOS RECIBIDOS
0
CLASIFICACIÓN
1.965 of 20.438
REPUTACIÓN
920
EVALUACIÓN MEDIA
4.80
CONTRIBUCIONES
12 Archivos
DESCARGAS
28
ALL TIME DESCARGAS
6607
CLASIFICACIÓN
of 158.938
CONTRIBUCIONES
0 Problemas
0 Soluciones
PUNTUACIÓN
0
NÚMERO DE INSIGNIAS
0
CONTRIBUCIONES
0 Publicaciones
CONTRIBUCIONES
0 Público Canales
EVALUACIÓN MEDIA
CONTRIBUCIONES
0 Temas destacados
MEDIA DE ME GUSTA
Feeds
Enviada
Model Comparison Utility
The Model Comparison Utility provides command line functions for supporting model comparison.
casi 3 años hace | 4 descargas |

Enviada
Intersection Navigation and Path Estimation
This tool is an extension of to the autonomous driving toolbox for: directed graph creation, path estimation, and vehicle to veh...
más de 3 años hace | 3 descargas |

Enviada
Reach/Coreach Tool
The tool highlights data/control flow dependencies in Simulink models and performs model slicing.
más de 3 años hace | 2 descargas |

Enviada
Intersection Navigation and Path Estimation
This tool is an extension to the autonomous driving toolbox for: directed graph creation, path estimation, and V2V communication...
alrededor de 4 años hace | 4 descargas |

Enviada
Obfuscate Model Tool
Obfuscate the contents of a Simulink model.
alrededor de 4 años hace | 2 descargas |

Enviada
Simulink Module Tool
Supports the creation of a Simulink module, syntactic interfaces, and checking related guidelines.
alrededor de 4 años hace | 1 descarga |

Enviada
Simulink-to-Stateflow
The Simulink-to-Stateflow tool translates Simulink block diagrams into Stateflow state charts.
más de 4 años hace | 3 descargas |

Enviada
Simulink Design Documenter
The Simulink Design Documenter generates Software Design Descriptions of Simulink models.
más de 4 años hace | 4 descargas |

Enviada
Signature Tool
The Signature Tool extracts the interface of a Simulink subsystem.
más de 4 años hace | 3 descargas |

Enviada
Data Store Rescope Tool
The Data Store Rescope Tool (formerly the Data Store Push-Down Tool) rescopes Simulink data stores.
más de 4 años hace | 1 descarga |

Enviada
Line - Goto/From Tool
The Line to Goto/From tool converts signal lines to Goto/From connections, and vice versa.
más de 4 años hace | 1 descarga |

Enviada
Auto Layout Tool
The Auto Layout Tool is used to automatically improve the layout of Simulink models.
más de 4 años hace | 5 descargas |
