Praxis High Integrity Systems
GPTKB entity
Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:company
|
| gptkbp:focus |
safety-critical systems
mission-critical systems security-critical systems |
| gptkbp:foundedIn |
1983
|
| https://www.w3.org/2000/01/rdf-schema#label |
Praxis High Integrity Systems
|
| gptkbp:industry |
software engineering
safety-critical systems |
| gptkbp:location |
gptkb:United_Kingdom
|
| gptkbp:mergedInto |
gptkb:Altran
|
| gptkbp:notableProject |
gptkb:Tokeneer_project
gptkb:SPARK_programming_language |
| gptkbp:parentCompany |
gptkb:Altran
|
| gptkbp:specializesIn |
gptkb:Ada_programming_language
formal methods high-integrity software |
| gptkbp:bfsParent |
gptkb:SPARK
|
| gptkbp:bfsLayer |
6
|