FORMAL MODEL
Experts
- Manuel Wimmer
- Bernhard Rumpe
- Huibiao Zhu
- Richard F. Paige
- Gabriele Taentzer
- Juan de Lara
- Peter Benner
- Ravi S. Sandhu
- Xin Wang
- Marsha Chechik
- Yu Zhang
- Jing Li
- Esther Guerra
- Osman Hasan
- Eduardo B. Fernández
- Lei Wang
- Wei Wang
- Kim-Kwang Raymond Choo
- Jordi Cabot
- Victor Sreeram
- Adrian Rutle
- Serkan Gugercin
- Jing Wang
- Sofiène Tahar
- Yong Wang
- Yan Wang
- Dimitrios S. Kolovos
- Dániel Varró
- Xin Li
- Jun Zhang
- Yingxu Wang
- Frédéric Jouault
- Alfonso Pierantonio
- Keikichi Hirose
- Martin Gogolla
- Yang Li
- Wei Zhang
- Zhen Jin
- Chao Wang
Venues
- CoRR
- IEEE Access
- Appl. Math. Comput.
- Environ. Model. Softw.
- IACR Cryptol. ePrint Arch.
- Remote. Sens.
- Sensors
- IGARSS
- ACC
- Int. J. Bifurc. Chaos
- PLoS Comput. Biol.
- ICASSP
- CDC
- WSC
- Expert Syst. Appl.
- Eur. J. Oper. Res.
- EMBC
- Symmetry
- J. Comput. Phys.
- Neurocomputing
- Commun. Nonlinear Sci. Numer. Simul.
- IEEE Trans. Geosci. Remote. Sens.
- INTERSPEECH
- SIAM J. Appl. Math.
- SMC
- Entropy
- Appl. Math. Lett.
- Math. Comput. Simul.
- AAAI
- HICSS
- Reliab. Eng. Syst. Saf.
- AMCIS
- ICRA
- Complex.
- Autom.
- IJCAI
- J. Comput. Appl. Math.
- Biol. Cybern.
- IEEE Trans. Ind. Electron.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend