FORMAL SPECIFICATION LANGUAGE
Experts
- Calin Belta
- Ufuk Topcu
- Dimos V. Dimarogonas
- Zhe Xu
- Cristian Ioan Vasile
- Lars Lindemann
- Derya Aksaray
- George J. Pappas
- Richard M. Murray
- Jie Fu
- Alexandre Donzé
- Shaoying Liu
- Noushin Mehdipour
- Mingyu Cai
- Guido Sciavicco
- Agung Julius
- Sanjit A. Seshia
- Cristian-Ioan Vasile
- Ezio Bartocci
- Hadas Kress-Gazit
- Austin Jones
- Kevin Leahy
- Mac Schwager
- Georgios E. Fainekos
- Jonathan P. Bowen
- Georgios Fainekos
- Hai Lin
- Marieke Huisman
- Stefania Gnesi
- Dejan Nickovic
- Peter Gorm Larsen
- Ali Tevfik Buyukkocak
- Zhen Kan
- Jun Liu
- Vasumathi Raman
- Edmund M. Clarke
- Bernd Finkbeiner
- Davide Bresolin
- Rolf Drechsler
Venues
- CoRR
- CDC
- FORTE
- ICRA
- ACC
- FMCAD
- FM
- SEFM
- ICFEM
- HSCC
- IFM
- IROS
- PSTV
- FME
- Electron. Notes Theor. Comput. Sci.
- IEEE Robotics Autom. Lett.
- SBMF
- NFM
- Sci. Comput. Program.
- Theor. Comput. Sci.
- Int. J. Softw. Tools Technol. Transf.
- CAV
- TIME
- Formal Aspects Comput.
- Formal Methods Syst. Des.
- SEKE
- IEEE Trans. Software Eng.
- J. Syst. Softw.
- Softw. Eng. J.
- ICECCS
- ICSE
- Inf. Softw. Technol.
- IWFM
- IEEE Control. Syst. Lett.
- J. Univers. Comput. Sci.
- ICTL
- Comput. J.
- SFM
- HASE
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend