Personal Information
Organization / Workplace
Suwon, Gyeonggi Korea, South
Occupation
Researcher @ Kyonggi University
Industry
Technology / Software / Internet
Website
About
#SafetyAnalysis, #SoftwareEngineer, # FormalMethods #SEO #Blogger #SocialActivist
Contact Details
Tags
model checking
development methodologies
nusmv
ltl
ctl
technology
impact of biometrics
biometrics
bi
business intelligence
data whare house
twitter revenue
walmart sales policy
dell marketing strategy
ssadm
requirement gathering
dsdm
advanced system analysis & design
software engineering ii
srs
risk assessment
pert chart
gantt chart
networking devices
slept analsis
e-business
digital marketing
online marketing
dell
sostac framework
direct model
swot analysis
e-marketing planning
smart objective
football
study
fantasy
college
fyp
islington
bidding culture
report on football
betting system
comparision of biometrics devices
international service
services
project planning
project management
communication network
comnet
networking
#rotaract #racpk #rotaractnepal
verification
software engineering
formal verification
validation
formal method
linear temporal logic
syntax of ltl
transition system
puzzle
safety critical systems
level crossing
uml
routers
switch
bridge
library
lms
design specification
use case
software design
call diagram
airlines reservation system
database design
airline database
tour site
travel & tour website
rotaract
professional
community
projects
club service
social
See more
Users being followed by Anit Thapaliya