photo

Natasha Jeppu


NITK, Surathkal

Attivo dal 2015

Followers: 0   Following: 0

Messaggio

Statistica

File Exchange

6 File

RANK
N/A
of 300.851

REPUTAZIONE
N/A

CONTRIBUTI
0 Domande
0 Risposte

ACCETTAZIONE DELLE RISPOSTE
0.00%

VOTI RICEVUTI
0

RANK
7.678 of 21.094

REPUTAZIONE
125

VALUTAZIONE MEDIA
5.00

CONTRIBUTI
6 File

DOWNLOAD
8

ALL TIME DOWNLOAD
1203

RANK

of 171.294

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

  • Personal Best Downloads Level 1
  • 5-Star Galaxy Level 1
  • First Submission

Visualizza badge

Feeds

Visto da

Inviato


Exploring Design Verifier - 05
Exploring Stateflow Mutation and Simulink Design Verifier

oltre 8 anni fa | 1 download |

5.0 / 5
Thumbnail

Inviato


PorT Block – Proof or Test Block for Simulink Design Verifier
A Simulink Design Verifier block to switch between proof and test and set requirement tags as well.

oltre 9 anni fa | 1 download |

0.0 / 5
Thumbnail

Inviato


Exploring Design Verifier - 04
This has examples files for exploring Simulink Design Verifier

oltre 9 anni fa | 2 download |

0.0 / 5
Thumbnail

Inviato


Exploring Simulink Design Verifier 03
This is a script to generate NuSMV and Matlab code for Mode Transitions

quasi 10 anni fa | 1 download |

0.0 / 5
Thumbnail

Inviato


Exploring Simulink Design Verifier - 2
A Simulink Design Verifier applied to Autopilot Mode Transition

oltre 10 anni fa | 1 download |

0.0 / 5
Thumbnail

Inviato


Exploring Design Verifier
A set of Simulink blocks to explore Design Verifier in Flight Controls

oltre 10 anni fa | 2 download |

0.0 / 5
Thumbnail