Rtsys Group Wiki
Page tree
Title: Logical Simplification for Context Tables in the STPA VS Code Extension  
Author: Jette Petzold Nov 17, 2022
Last Changed by: Jette Petzold Nov 17, 2022
Tiny Link: (useful for email) https://rtsys.informatik.uni-kiel.de/confluence/x/MQCAC
Export As: Word · PDF  
Incoming Links
Rtsys Group Wiki (1)
    Page: Topics for Student Theses
Hierarchy
Parent Page
    Page: Topics for Student Theses
Labels
There are no labels assigned to this page.
Page Permissions
Page restrictions:
  • Only jep can edit this page. (set by Jette Petzold at Nov 17, 2022 13:18)
Recent Changes
Time Editor  
Nov 17, 2022 13:18 Jette Petzold View Changes
Nov 17, 2022 10:19 Jette Petzold  
Outgoing Links
External Links (7)
    https://rtsys.informatik.uni-kiel.de/~biblio/downloads/thes…
    https://www.typescriptlang.org/
    https://dspace.mit.edu/bitstream/handle/1721.1/81055/857791…
    https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=676998…
    mailto:jep@informatik.uni-kiel.de
    https://code.visualstudio.com/api/references/vscode-api
    https://github.com/kieler/stpa/tree/master
Rtsys Group Wiki (1)     Page: Logical Simplification for Context Tables in the STPA VS Code Extension