Symbolic verification of requirements in VRS system
Author:
Publisher:
Year
: 2014DOI: 10.1109/APCAP.2014.6992408
Keyword(s): antenna radiation patterns,broadband antennas,electromagnetic wave polarisation,microstrip antennas,satellite antennas,satellite navigation,AR bandwidth,Compass,GLONASS,GNSS,GPS,Galileo,antenna size,axial ratio bandwidth,frequency 0.86 GHz to 1.64 GHz,frequency 1.00 GHz to 1.64 GHz,global navigation satellite systems,impedance bandwidth,radiation patch,wideband antenna,Antenna feeds,Broadband antennas,Wideband,global navigation satellite systems(GNSSs),miniaturization,wi
Collections
:
-
Statistics
Symbolic verification of requirements in VRS system
Show full item record
| contributor author | Letychevskyi, O. , Weigert, T. | |
| date accessioned | 2020-03-12T20:54:15Z | |
| date available | 2020-03-12T20:54:15Z | |
| date issued | 2014 | |
| identifier other | 6912282.pdf | |
| identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/1029795 | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Symbolic verification of requirements in VRS system | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8155111 | |
| subject keywords | antenna radiation patterns | |
| subject keywords | broadband antennas | |
| subject keywords | electromagnetic wave polarisation | |
| subject keywords | microstrip antennas | |
| subject keywords | satellite antennas | |
| subject keywords | satellite navigation | |
| subject keywords | AR bandwidth | |
| subject keywords | Compass | |
| subject keywords | GLONASS | |
| subject keywords | GNSS | |
| subject keywords | GPS | |
| subject keywords | Galileo | |
| subject keywords | antenna size | |
| subject keywords | axial ratio bandwidth | |
| subject keywords | frequency 0.86 GHz to 1.64 GHz | |
| subject keywords | frequency 1.00 GHz to 1.64 GHz | |
| subject keywords | global navigation satellite systems | |
| subject keywords | impedance bandwidth | |
| subject keywords | radiation patch | |
| subject keywords | wideband antenna | |
| subject keywords | Antenna feeds | |
| subject keywords | Broadband antennas | |
| subject keywords | Wideband | |
| subject keywords | global navigation satellite systems(GNSSs) | |
| subject keywords | miniaturization | |
| subject keywords | wi | |
| identifier doi | 10.1109/APCAP.2014.6992408 | |
| journal title | equirements Engineering Conference (RE), 2014 IEEE 22nd International | |
| filesize | 132000 | |
| citations | 0 |