PKC Workflow/Project Conclusion
Jump to navigation
Jump to search
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