Personal Information
Organization / Workplace
Suwon, Gyeonggi Korea, South
Occupation
Researcher @ Kyonggi University
Industry
Technology / Software / Internet
Website
www.inkwalkar.com
About
#SafetyAnalysis, #SoftwareEngineer, # FormalMethods #SEO #Blogger #SocialActivist
Tags
model checking
nusmv
ltl
ctl
development methodologies
uml
level crossing
safety critical systems
puzzle
transition system
syntax of ltl
linear temporal logic
formal method
validation
formal verification
software engineering
verification
#rotaract #racpk #rotaractnepal
networking
comnet
communication network
project management
project planning
services
international service
social
club service
projects
community
professional
rotaract
travel & tour website
tour site
airline database
database design
airlines reservation system
call diagram
software design
use case
design specification
lms
library
bridge
switch
routers
networking devices
gantt chart
pert chart
risk assessment
srs
software engineering ii
advanced system analysis & design
dsdm
requirement gathering
ssadm
dell marketing strategy
walmart sales policy
twitter revenue
data whare house
business intelligence
bi
biometrics
impact of biometrics
technology
comparision of biometrics devices
betting system
report on football
bidding culture
islington
fyp
college
fantasy
study
football
smart objective
e-marketing planning
swot analysis
direct model
sostac framework
dell
online marketing
digital marketing
e-business
slept analsis
See more
Presentations
(6)Documents
(14)Likes
(8)3 models of communication
Diego Rodrigo
•
12 years ago
Procure to Pay Process
Sameer Mittal
•
10 years ago
Impact of social media on tourism ppt
Mahesh Wadde
•
10 years ago
CVS case
anti89757
•
12 years ago
Insights into business process management bpm
Perficient, Inc.
•
12 years ago
Introduction to Business Process Management
Alan McSweeney
•
14 years ago
What is BPM?
Atle Skjekkeland
•
15 years ago
Branding and Social Media Marketing
Eric Bryn
•
9 years ago
Personal Information
Organization / Workplace
Suwon, Gyeonggi Korea, South
Occupation
Researcher @ Kyonggi University
Industry
Technology / Software / Internet
Website
www.inkwalkar.com
About
#SafetyAnalysis, #SoftwareEngineer, # FormalMethods #SEO #Blogger #SocialActivist
Tags
model checking
nusmv
ltl
ctl
development methodologies
uml
level crossing
safety critical systems
puzzle
transition system
syntax of ltl
linear temporal logic
formal method
validation
formal verification
software engineering
verification
#rotaract #racpk #rotaractnepal
networking
comnet
communication network
project management
project planning
services
international service
social
club service
projects
community
professional
rotaract
travel & tour website
tour site
airline database
database design
airlines reservation system
call diagram
software design
use case
design specification
lms
library
bridge
switch
routers
networking devices
gantt chart
pert chart
risk assessment
srs
software engineering ii
advanced system analysis & design
dsdm
requirement gathering
ssadm
dell marketing strategy
walmart sales policy
twitter revenue
data whare house
business intelligence
bi
biometrics
impact of biometrics
technology
comparision of biometrics devices
betting system
report on football
bidding culture
islington
fyp
college
fantasy
study
football
smart objective
e-marketing planning
swot analysis
direct model
sostac framework
dell
online marketing
digital marketing
e-business
slept analsis
See more