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