2,559 resources related to

Formal specifications

Top Conferences on Formal specifications

2022 IEEE International Conference on Electro Information Technology (eIT)

2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC)

2022 59th ACM/IEEE Design Automation Conference (DAC)

2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC)

2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)

2022 24th International Conference on Advanced Communication Technology (ICACT)

2022 IEEE International Systems Conference (SysCon)

2023 IEEE 21st International Conference on Industrial Informatics (INDIN)

2021 Fifth International Conference on Information Retrieval and Knowledge Management (CAMP)

2021 IEEE Symposium on Computers and Communications (ISCC)

2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)

2021 Forum on specification & Design Languages (FDL)

2020 6th IEEE Congress on Information Science and Technology (CiSt)

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 International Conference on Industrial Engineering and Engineering Management (IEEM)

2021 IEEE Frontiers in Education Conference (FIE)

2021 IEEE AFRICON

2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC)

TENCON 2021 - 2021 IEEE Region 10 Conference (TENCON)

2021 International Symposium on Theoretical Aspects of Software Engineering (TASE)

2021 14th International Symposium on Computational Intelligence and Design (ISCID)

2020 IEEE 23rd International Multitopic Conference (INMIC)

2020 IEEE 32nd International Conference on Software Engineering Education and Training (CSEE&T)

2020 59th IEEE Conference on Decision and Control (CDC)

2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)

2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS)

2018 IEEE 26th International Requirements Engineering Conference (RE)

2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)

2018 IEEE 22nd International Conference on ComputerSupported Cooperative Work in Design (CSCWD)

2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC)

2018 IEEE 14th International Conference on e-Science (e-Science)

2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)

2018 IEEE Canadian Conference on Electrical & Computer Engineering (CCECE)

2018 IEEE Congress on Evolutionary Computation (CEC)

2018 IEEE International Conference on Information Reuse and Integration (IRI)

2018 IEEE AUTOTESTCON

2018 Federated Conference on Computer Science and Information Systems (FedCSIS)

2018 IEEE 22nd International Enterprise Distributed Object Computing Workshop (EDOCW)

2018 IEEE International Conference on Software Architecture (ICSA)

2017 16th International Conference on Information Technology Based Higher Education and Training (ITHET)

2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation

2017 IEEE 23rd International Conference on Parallel and Distributed Systems (ICPADS)

2017 IEEE International Conference on Cybernetics and Computational Intelligence (CyberneticsCom)

2017 12th International Conference on Computer Engineering and Systems (ICCES)

2017 36th Chinese Control Conference (CCC)

2017 IEEE 14th International Conference on e-Business Engineering (ICEBE)

2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE)

2017 13th International Conference on Emerging Technologies (ICET)

2016 14th International Conference on Control, Automation, Robotics and Vision (ICARCV)

2016 5th International Conference on Multimedia Computing and Systems (ICMCS)

2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

2016 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS)

2015 Latin American Network Operations and Management Symposium - (LANOMS)

2015 IEEE 39th Annual Computer Software and Applications Conference Workshop (COMPSACW)

2015 9th Malaysian Software Engineering Conference (MySEC)

2014 14th International Conference on Quality Software (QSIC)

2013 9th International Conference on Wireless Communications, Networking and Mobile Computing (WiCOM)

2013 20th Working Conference on Reverse Engineering (WCRE)

2012 17th International Conference on Engineering of Complex Computer Systems (ICECCS)

2012 8th International Conference on Information Science and Digital Content Technology (ICIS and IDCTA)

2012 35th Annual IEEE Software Engineering Workshop (SEW)

2012 Eighth International Conference on Computational Intelligence and Security (CIS)

2012 International Conference on Emerging Technologies (ICET)

2012 13th International Workshop on Microprocessor Test and Verification (MTV)

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 Workshop on Education Technology and Computer Science (ETCS)

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 2nd International Symposium on Data, Privacy & E-Commerce (ISDPE 2010)

2010 9th International Conference on Grid and Cloud Computing (GCC 2010)

2009 Transmission & Distribution Conference & Exposition: Asia and Pacific (T&D Asia)

2008 3rd International Conference on Information & Communication Technologies: from Theory to Applications (ICTTA)

2005 IEEE Conference on Information Technology: Coding and Computing (ITCC)

More links

Xplore Articles related to Formal specifications

Formal requirements specification in safety-critical railway signaling system

Formal methods in software engineering education

Formalizing and analyzing service oriented software architecture style

Safety assurance in process control

Methodological support for requirements elicitation and formal specification

The Construction of Grid Information Retrieval Model Based on Ontology

Diagrams and intuitive **formal specifications**

Abstraction of **formal specifications** from program code

Man-machine interface for real-time telecontrol based onPetri nets specification

Toward automatic generation of promela models from SDL specification

More links

Periodicals related to Formal specifications

Automatic Control, IEEE Transactions on

Communications, IEEE Transactions on

Computer

Dependable and Secure Computing, IEEE Transactions on

Embedded Systems Letters, IEEE

Industrial Informatics, IEEE Transactions on

Knowledge and Data Engineering, IEEE Transactions on

Latin America Transactions, IEEE (Revista IEEE America Latina)

Security & Privacy, IEEE

Selected Areas in Communications, IEEE Journal on

Software Engineering, IEEE Transactions on

Software, IEEE

Systems Journal, IEEE

More links

E-books related to Formal specifications

Appendix C: Design/Specification Checklists

More links

Courses related to Formal specifications

Computing Foundations and IEEE Standards Bundle

More links

Standards related to Formal specifications

(Replaced) IEEE Standard VHDL Language Reference Manual

IEEE Standard for Property Specification Language (PSL)

More links

Top Organizations on Formal specifications

Communications

Computer

Control Systems

Electronic Design Automation, Council on

Industrial Electronics

Industry Applications

Member and Geographic Activities

Power & Energy

Reliability

Robotics & Automation

Systems Council

Systems, Man & Cybernetics

Technical Activities Board

More links

Most published Xplore authors for Formal specifications

Oscar Ljungkrantz

Knut Akesson

Martin Fabian

Chengyin Yuan

More links

Formal specifications

Featured Article

Related topics

Top Conferences on Formal specifications

Xplore Articles related to Formal specifications

Periodicals related to Formal specifications

E-books related to Formal specifications

Courses related to Formal specifications

Standards related to Formal specifications

Top Organizations on Formal specifications

Most published Xplore authors for Formal specifications