Show simple item record

Formal model of certificate omission schemes in VANET

contributor authorFeiri, M.
contributor authorPetit, J.
contributor authorKargl, F.
date accessioned2020-03-12T22:31:37Z
date available2020-03-12T22:31:37Z
date issued2014
identifier other7013307.pdf
identifier urihttp://libsearch.um.ac.ir:80/fum/handle/fum/1085973?show=full
formatgeneral
languageEnglish
publisherIEEE
titleFormal model of certificate omission schemes in VANET
typeConference Paper
contenttypeMetadata Only
identifier padid8223558
subject keywordsformal specification
subject keywordsn software architecture
subject keywordsn SoS
subject keywordsn SysML contract
subject keywordsn architectural pattern
subject keywordsn contract pattern
subject keywordsn contractual specification
subject keywordsn structured approach
subject keywordsn systems of systems
subject keywordsn Analytical models
subject keywordsn Contracts
subject keywordsn Object oriented modeling
subject keywordsn Ontologies
subject keywordsn Protocols
subject keywordsn SysML
subject keywordsn architectural frameworks
subject keywordsn contracts
subject keywordsn interface specification
subject keywordsn modelling
subject keywordsn systems of systems
identifier doi10.1109/SYSOSE .2014.6892466
journal titleehicular Networking Conference (VNC), 2014 IEEE
filesize165802
citations0


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record