Formal model of certificate omission schemes in VANET
ناشر:
سال
: 2014شناسه الکترونیک: 10.1109/SYSOSE .2014.6892466
کلیدواژه(گان): formal specification,n software architecture,n SoS,n SysML contract,n architectural pattern,n contract pattern,n contractual specification,n structured approach,n systems of systems,n Analytical models,n Contracts,n Object oriented modeling,n Ontologies,n Protocols,n SysML,n architectural frameworks,n contracts,n interface specification,n modelling,n systems of systems
کالکشن
:
-
آمار بازدید
Formal model of certificate omission schemes in VANET
Show full item record
| contributor author | Feiri, M. | |
| contributor author | Petit, J. | |
| contributor author | Kargl, F. | |
| date accessioned | 2020-03-12T22:31:37Z | |
| date available | 2020-03-12T22:31:37Z | |
| date issued | 2014 | |
| identifier other | 7013307.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1085973 | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Formal model of certificate omission schemes in VANET | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8223558 | |
| subject keywords | formal specification | |
| subject keywords | n software architecture | |
| subject keywords | n SoS | |
| subject keywords | n SysML contract | |
| subject keywords | n architectural pattern | |
| subject keywords | n contract pattern | |
| subject keywords | n contractual specification | |
| subject keywords | n structured approach | |
| subject keywords | n systems of systems | |
| subject keywords | n Analytical models | |
| subject keywords | n Contracts | |
| subject keywords | n Object oriented modeling | |
| subject keywords | n Ontologies | |
| subject keywords | n Protocols | |
| subject keywords | n SysML | |
| subject keywords | n architectural frameworks | |
| subject keywords | n contracts | |
| subject keywords | n interface specification | |
| subject keywords | n modelling | |
| subject keywords | n systems of systems | |
| identifier doi | 10.1109/SYSOSE .2014.6892466 | |
| journal title | ehicular Networking Conference (VNC), 2014 IEEE | |
| filesize | 165802 | |
| citations | 0 |