Anit Thapaliya
228
Followers
Personal Information
Unternehmen/Arbeitsplatz
Suwon, Gyeonggi Korea, South
Beruf
Researcher @ Kyonggi University
Branche
Technology / Software / Internet
Webseite
www.inkwalkar.com
Info
#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
Mehr anzeigen
- Präsentationen
- Dokumente
- Infografiken