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
Statistica
12 File
RANK
N/A
of 300.788
REPUTAZIONE
N/A
CONTRIBUTI
0 Domande
0 Risposte
ACCETTAZIONE DELLE RISPOSTE
0.00%
VOTI RICEVUTI
0
RANK
1.949 of 21.091
REPUTAZIONE
944
VALUTAZIONE MEDIA
4.70
CONTRIBUTI
12 File
DOWNLOAD
27
ALL TIME DOWNLOAD
6789
RANK
of 171.083
CONTRIBUTI
0 Problemi
0 Soluzioni
PUNTEGGIO
0
NUMERO DI BADGE
0
CONTRIBUTI
0 Post
CONTRIBUTI
0 Pubblico Canali
VALUTAZIONE MEDIA
CONTRIBUTI
0 Punti principali
NUMERO MEDIO DI LIKE
Feeds
Inviato
Model Comparison Utility
The Model Comparison Utility provides command line functions for supporting model comparison.
quasi 4 anni fa | 3 download |
Inviato
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...
circa 4 anni fa | 1 download |
Inviato
Reach/Coreach Tool
The tool highlights data/control flow dependencies in Simulink models and performs model slicing.
oltre 4 anni fa | 1 download |
Inviato
Intersection Navigation and Path Estimation
This tool is an extension to the autonomous driving toolbox for: directed graph creation, path estimation, and V2V communication...
quasi 5 anni fa | 4 download |
Inviato
Obfuscate Model Tool
Obfuscate the contents of a Simulink model.
circa 5 anni fa | 3 download |
Inviato
Simulink Module Tool
Supports the creation of a Simulink module, syntactic interfaces, and checking related guidelines.
circa 5 anni fa | 3 download |
Inviato
Simulink-to-Stateflow
The Simulink-to-Stateflow tool translates Simulink block diagrams into Stateflow state charts.
oltre 5 anni fa | 4 download |
Inviato
Simulink Design Documenter
The Simulink Design Documenter generates Software Design Descriptions of Simulink models.
oltre 5 anni fa | 4 download |
Inviato
Signature Tool
The Signature Tool extracts the interface of a Simulink subsystem.
oltre 5 anni fa | 3 download |
Inviato
Data Store Rescope Tool
The Data Store Rescope Tool (formerly the Data Store Push-Down Tool) rescopes Simulink data stores.
oltre 5 anni fa | 1 download |
Inviato
Line - Goto/From Tool
The Line to Goto/From tool converts signal lines to Goto/From connections, and vice versa.
oltre 5 anni fa | 2 download |
Inviato
Auto Layout Tool
The Auto Layout Tool is used to automatically improve the layout of Simulink models.
oltre 5 anni fa | 2 download |
