Three dimension PIC simulations of A 2.45GHz injection-locked magnetron with sector-and-slot-type resonators
Publisher:
Year
: 2014DOI: 10.1109/SCAM.2014.20
Keyword(s): Linux,XML,formal verification,security of data,GCC pass,Linux kernel source code,automated verification tools,scalable security verification engine,software compilation process,software development life cycle,software vulnerabilities,Automata,Engines,Monitoring,Scalability,Security,Software,XML,Finite State Automata,GCC,Security Verification,Static Analysis
Collections
:
-
Statistics
Three dimension PIC simulations of A 2.45GHz injection-locked magnetron with sector-and-slot-type resonators
Show full item record
| contributor author | Song Yue , Zhaochuan Zhang , Dongping Gao | |
| date accessioned | 2020-03-12T20:12:52Z | |
| date available | 2020-03-12T20:12:52Z | |
| date issued | 2014 | |
| identifier other | 6857679.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1006140?locale-attribute=en | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Three dimension PIC simulations of A 2.45GHz injection-locked magnetron with sector-and-slot-type resonators | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8127651 | |
| subject keywords | Linux | |
| subject keywords | XML | |
| subject keywords | formal verification | |
| subject keywords | security of data | |
| subject keywords | GCC pass | |
| subject keywords | Linux kernel source code | |
| subject keywords | automated verification tools | |
| subject keywords | scalable security verification engine | |
| subject keywords | software compilation process | |
| subject keywords | software development life cycle | |
| subject keywords | software vulnerabilities | |
| subject keywords | Automata | |
| subject keywords | Engines | |
| subject keywords | Monitoring | |
| subject keywords | Scalability | |
| subject keywords | Security | |
| subject keywords | Software | |
| subject keywords | XML | |
| subject keywords | Finite State Automata | |
| subject keywords | GCC | |
| subject keywords | Security Verification | |
| subject keywords | Static Analysis | |
| identifier doi | 10.1109/SCAM.2014.20 | |
| journal title | acuum Electronics Conference, IEEE International | |
| filesize | 384708 | |
| citations | 0 |