FORMAL ANALYSIS
Experts
- Osman Hasan
- Huibiao Zhu
- Sofiène Tahar
- Jan Treur
- José Meseguer
- Jon Postel
- Maurice H. ter Beek
- Catherine A. Meadows
- Makoto Takizawa
- Catholijn M. Jonker
- Stefania Gnesi
- Kazuhiro Ogata
- Scott Hollenbeck
- Antonella Santone
- Kokichi Futatsugi
- Peter Csaba Ölveczky
- Ganesh Gopalakrishnan
- Michael G. Hinchey
- Alessandro Fantechi
- Jonathan P. Bowen
- Richard Lai
- Mohamed G. Gouda
- Steve Kremer
- Adnan Rashid
- Alessio Ferrari
- Pallab Dasgupta
- Jiaqi Yin
- Xiaoyu Song
- Franco Mazzanti
- Susan L. Gerhart
- Rolf Drechsler
- Umair Siddique
- John M. Rushby
- Cas Cremers
- Dan Craigen
- Tibor Bosse
- Jim Woodcock
- Antonio Cerone
- Constance L. Heitmeyer
Venues
- CoRR
- RFC
- IACR Cryptol. ePrint Arch.
- Electron. Notes Theor. Comput. Sci.
- ICFEM
- FMCAD
- IEEE Access
- FORTE
- Comput. Commun.
- SEFM
- FM
- INFOCOM
- Int. J. Softw. Tools Technol. Transf.
- PSTV
- FMICS
- Sci. Comput. Program.
- IFM
- Comput. Networks
- ICC
- CAV
- Formal Methods Syst. Des.
- IEEE Trans. Commun.
- IEEE Trans. Software Eng.
- LCN
- Formal Aspects Comput.
- DAC
- DATE
- Sensors
- Quantum Inf. Process.
- Wirel. Pers. Commun.
- SAC
- SBMF
- J. Syst. Softw.
- CCS
- COMPSAC
- ISCC
- GLOBECOM
- IEEE J. Sel. Areas Commun.
- ICECCS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend