Some formal method activities in UK industry
Abstract
References
Recommendations
Effect of Modern Information Industry on Manufacturing Industry
AIAM2021: 2021 3rd International Conference on Artificial Intelligence and Advanced ManufactureThe transformation and upgrading of the manufacturing sector is an important step in implementing the new stage of development. Information technology is having an increasingly profound impact on the development of manufacturing industry, based on this ...
An EU without the UK: mapping the UK's changing roles in the EU scientific research
In science, technology and innovation, the consequences of Britain's exit (Brexit) for both Britain and the Europe Union (EU) are still uncertain. However, there is no doubt that in the years to come, the UK will need to re-calibrate its scientific ...
Formal Methods in Industry
Formal methods encompass a wide choice of techniques and tools for the specification, development, analysis, and verification of software and hardware systems. Formal methods are widely applied in industry, in activities ranging from the elicitation of ...
Comments
Information & Contributors
Information
Published In

Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 126Total Downloads
- Downloads (Last 12 months)44
- Downloads (Last 6 weeks)9
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in