2,201 resources related to
Specification languages
Top Conferences on Specification languages
2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
2022 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE)
2020 IEEE Symposium on Computers and Communications (ISCC)
2020 IEEE Eighth International Conference on Communications and Networking (ComNet)
2020 IEEE International Systems Conference (SysCon)
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)
2019 IEEE 20th International Conference on Information Reuse and Integration for Data Science (IRI)
2018 16th IEEE International New Circuits and Systems Conference (NEWCAS)
2018 IEEE 14th International Conference on e-Science (e-Science)
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)
2018 International Joint Conference on Neural Networks (IJCNN)
2018 International Symposium on Theoretical Aspects of Software Engineering (TASE)
2017 IEEE 23rd International Conference on Parallel and Distributed Systems (ICPADS)
2017 23rd Asia-Pacific Conference on Communications (APCC)
2017 IEEE International Conference on Cybernetics and Computational Intelligence (CyberneticsCom)
2017 IEEE International Conference on Web Services (ICWS)
2017 IEEE International Conference on Intelligence and Security Informatics (ISI)
2016 6th IEEE International Conference on Broadband Network & Multimedia Technology (IC-BNMT)
2016 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS)
2013 6th International Conference on Intelligent Networks and Intelligent Systems (ICINIS)
2012 Third International Conference on Networking and Computing (ICNC)
2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM)
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 International Conference on Computer Application and System Modeling (ICCASM 2010)
2010 International Symposium on Information Technology (ITSim 2010)
2009 International Conference on Integration of Knowledge Intensive Multi-Agent Systems (KIMAS 2009) (Cancelled)
2006 6th International Workshop on System on Chip for Real Time Applications (IWSOC)
2006 First International Symposium on Environment Identities and Mediterranean Area (ISEIM)
2005 IEEE Conference on Information Technology: Coding and Computing (ITCC)
More links
Xplore Articles related to Specification languages
Periodicals related to Specification languages
Dependable and Secure Computing, IEEE Transactions on
Knowledge and Data Engineering, IEEE Transactions on
Software Engineering, IEEE Transactions on
Visualization and Computer Graphics, IEEE Transactions on
More links