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