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