FORMAL MODEL
Experts
- Manuel Wimmer
- Bernhard Rumpe
- Richard F. Paige
- Gabriele Taentzer
- Huibiao Zhu
- Juan de Lara
- Marsha Chechik
- Xin Wang
- Peter Benner
- Ravi S. Sandhu
- Jing Li
- Yu Zhang
- Osman Hasan
- Esther Guerra
- Eduardo B. Fernández
- Wei Wang
- Jordi Cabot
- Lei Wang
- Victor Sreeram
- Kim-Kwang Raymond Choo
- Sofiène Tahar
- Serkan Gugercin
- Adrian Rutle
- Jing Wang
- Yong Wang
- Dimitrios S. Kolovos
- Yan Wang
- Dániel Varró
- Frédéric Jouault
- Alfonso Pierantonio
- Jun Zhang
- Xin Li
- Yingxu Wang
- Keikichi Hirose
- Martin Gogolla
- Hui Zhang
- Elisa Bertino
- Hiroshi Ishiguro
- Karl Henrik Johansson
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