2,559 resources related to
Formal specifications
Top Conferences on Formal specifications
2023 IEEE 21st International Conference on Industrial Informatics (INDIN)
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)
2012 8th International Conference on Information Science and Digital Content Technology (ICIS and IDCTA)
2012 Eighth International Conference on Computational Intelligence and Security (CIS)
2012 International Conference on Emerging Technologies (ICET)
2012 7th International Conference on Computing and Convergence Technology (ICCIT, ICEI and ICACT)
2011 3rd Symposium on Web Society (SWS)
2011 3rd International Workshop on Education Technology and Computer Science (ETCS)
2010 2nd International Conference on Reliability, Safety and Hazard - Risk-Based Technologies and Physics-of-Failure Methods (ICRESH)
2010 International Conference on E-Product E-Service and E-Entertainment (ICEEE 2010)
2010 International Conference on Computer Science and Software Engineering (CSSE 2010)
2010 9th International Conference on Grid and Cloud Computing (GCC 2010)
More links
Xplore Articles related to Formal specifications
Periodicals related to Formal specifications
Dependable and Secure Computing, IEEE Transactions on
Embedded Systems Letters, IEEE
Knowledge and Data Engineering, IEEE Transactions on
Selected Areas in Communications, IEEE Journal on
Software Engineering, IEEE Transactions on
More links