2,559 resources related to
Formal specifications
Top Conferences on Formal specifications
2024 IEEE International Conference on Systems, Man, and Cybernetics (SMC)
2023 IEEE International Systems Conference (SysCon)
2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC)
2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
2021 Fifth International Conference on Information Retrieval and Knowledge Management (CAMP)
2021 IEEE Symposium on Computers and Communications (ISCC)
2021 16th International Conference of System of Systems Engineering (SoSE)
2021 IEEE 14th International Conference on ASIC (ASICON)
2021 IEEE 12th International Conference on Software Engineering and Service Science (ICSESS)
2021 IEEE Frontiers in Education Conference (FIE)
2020 IEEE 23rd International Multitopic Conference (INMIC)
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)
2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)
2018 IEEE 14th International Conference on e-Science (e-Science)
2018 IEEE Canadian Conference on Electrical & Computer Engineering (CCECE)
2018 IEEE AUTOTESTCON
2018 IEEE International Conference on Software Architecture (ICSA)
2017 IEEE 23rd International Conference on Parallel and Distributed Systems (ICPADS)
2017 IEEE International Conference on Cybernetics and Computational Intelligence (CyberneticsCom)
2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE)
2016 14th International Conference on Control, Automation, Robotics and Vision (ICARCV)
2016 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS)
2015 IEEE 39th Annual Computer Software and Applications Conference Workshop (COMPSACW)
2015 9th Malaysian Software Engineering Conference (MySEC)
2013 9th International Conference on Wireless Communications, Networking and Mobile Computing (WiCOM)
2012 7th International Conference on Computing and Convergence Technology (ICCIT, ICEI and ICACT)
2012 IEEE Asia-Pacific Services Computing Conference (APSCC)
2011 3rd Symposium on Web Society (SWS)
2011 5th International Conference on Network and System Security (NSS)
2011 3rd International Conference on Networking and Digital Society (ICNDS)
2010 2nd International Conference on Reliability, Safety and Hazard - Risk-Based Technologies and Physics-of-Failure Methods (ICRESH)
2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM)
2010 International Symposium on Information Technology (ITSim 2010)
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)
2009 Transmission & Distribution Conference & Exposition: Asia and Pacific (T&D Asia)
2005 IEEE Conference on Information Technology: Coding and Computing (ITCC)
More links
Top Videos on Formal specifications
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