Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
|
| gptkbp:developedBy |
gptkb:Esterel_Technologies
|
| gptkbp:firstReleased |
2000s
|
| gptkbp:focusesOn |
formal verification
safety-critical systems |
| https://www.w3.org/2000/01/rdf-schema#label |
Esterel Studio
|
| gptkbp:license |
proprietary
|
| gptkbp:platform |
gptkb:Windows
gptkb:Linux |
| gptkbp:supportsLanguage |
gptkb:SCADE
gptkb:Esterel |
| gptkbp:usedFor |
embedded systems development
model-based design |
| gptkbp:website |
https://www.esterel-technologies.com/products/esterel-studio/
|
| gptkbp:bfsParent |
gptkb:Esterel_Technologies
|
| gptkbp:bfsLayer |
7
|