Quadrature oscillator with independent frequency control using ECCIIs
ناشر:
سال
: 2014شناسه الکترونیک: 10.1109/COMPSACW.2014.86
کلیدواژه(گان): Unified Modeling Language,n diagrams,n formal specification,n formal verification,n programming language semantics,n software engineering,n UML AD,n UML activity diagram,n event-B specification,n formal verification,n graphical model,n institution comorphism,n institution theory,n local semantic,n semantic correctness,n service oriented applications,n workflow applications,n Context,n Grammar,n Manganese,n Semantics,n Syntactics
کالکشن
:
-
آمار بازدید
Quadrature oscillator with independent frequency control using ECCIIs
Show full item record
| contributor author | Kumngern, Montree | |
| contributor author | Tuntrakool, Sunti | |
| date accessioned | 2020-03-12T22:45:08Z | |
| date available | 2020-03-12T22:45:08Z | |
| date issued | 2014 | |
| identifier other | 7022368.pdf | |
| identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/1093320 | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Quadrature oscillator with independent frequency control using ECCIIs | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8232712 | |
| subject keywords | Unified Modeling Language | |
| subject keywords | n diagrams | |
| subject keywords | n formal specification | |
| subject keywords | n formal verification | |
| subject keywords | n programming language semantics | |
| subject keywords | n software engineering | |
| subject keywords | n UML AD | |
| subject keywords | n UML activity diagram | |
| subject keywords | n event-B specification | |
| subject keywords | n formal verification | |
| subject keywords | n graphical model | |
| subject keywords | n institution comorphism | |
| subject keywords | n institution theory | |
| subject keywords | n local semantic | |
| subject keywords | n semantic correctness | |
| subject keywords | n service oriented applications | |
| subject keywords | n workflow applications | |
| subject keywords | n Context | |
| subject keywords | n Grammar | |
| subject keywords | n Manganese | |
| subject keywords | n Semantics | |
| subject keywords | n Syntactics | |
| identifier doi | 10.1109/COMPSACW.2014.86 | |
| journal title | ENCON 2014 - 2014 IEEE Region 10 Conference | |
| filesize | 428950 | |
| citations | 0 |