Difference between revisions of "PKC Workflow/Project Conclusion"
Jump to navigation
Jump to search
| Line 20: | Line 20: | ||
* tla+ , k-framework, connection | * tla+ , k-framework, connection | ||
** need the correspondense | ** need the correspondense | ||
== application == | |||
* multiple people develop complex knowledge together. | |||
Revision as of 07:52, 29 August 2021
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
application
- multiple people develop complex knowledge together.