Difference between revisions of "PKC Workflow/Project Conclusion"

From PKC
Jump to navigation Jump to search
Line 1: Line 1:
[https://www.masterclass.com/articles/how-to-write-a-conclusion#what-is-a-conclusion]
[https://www.masterclass.com/articles/how-to-write-a-conclusion#what-is-a-conclusion]
== context ==
== Logic Model ==
AS, CI
wht is logic model?
== work ==
theory
* logic model
* uda
* when implementation , get feed back to theory
implementation
* all work in mw (like how)
* tla+ , k-framework, connection
** need the correspondense

Revision as of 07:44, 29 August 2021

[1]

context

Logic Model

AS, CI

wht is logic model?

work

theory

  • logic model
  • uda
  • when implementation , get feed back to theory

implementation

  • all work in mw (like how)
  • tla+ , k-framework, connection
    • need the correspondense