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?show=full | |
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 | |