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