Nacha Chondamrongkul
134
Followers
Personal Information
Occupation
Lecturer
Tags
linear temporal logic
model checking
ontology reasoning
formal method
software architecture
software development
software system
mfu
reinvent
See more
- Presentations
- Documents
- Infographics