Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project

Alan Wassyng; Mark Lawford

Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project

Publication Type:

Conference Proceedings

Authors:

Alan Wassyng; Mark Lawford

Source:

FME 2003: International Symposium of Formal Methods Europe Proceedings, Pisa, Italy (2003)

Useful links

Biomedical Data Journal

http://www.biomed-data.eu

INTEGRITY IN DEFENCE & SECURITY

https://defenceintegrity.eu

Evocs project

http://evocs-project.eu

Association of the Officers in the Reserve “Atlantic”

http://www.atlantic-bg.org

Centre for National Security and Defence Research

http://cnsdr.bas.bg

AFCEA International

http://www.afcea.org

AFCEA Sofia

http://www.afcea-bg.org

AFCEA Varna

http://www.afcea.bg

George C. Marshall Association - Bulgaria

http://www.gcmarshall.bg/

Institute of Information and Communication Technologies

http://iict.bas.bg

Bulgarian Academy of Sciences

http://www.bas.bg

“G.S. Rakovski” Defence Academy

http://rnda.armf.bg

PfP Consortium

http://www.pfp-consortium.org/

Data Journals

http://datajournals.eu/

Connections: The Quarterly Journal

http://connections-qj.org

Security and Defence Management

http://defencemanagement.org

IT for Security Department

http://it4sec.org

DCAF

http://www.dcaf.ch/

2024 Procon Ltd. Information & Security: An International Journal - This is a Free Drupal Theme
Ported to Drupal for the Open Source Community by Drupalizing, a Project of More than (just) Themes. Original design by Simple Themes.

Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project

Publication Type:

Authors:

Source:

Information & Security journal

Previews

On Inequalities Bounding Imprecision and Nonspecificity Measures of Uncertainty

On the Effectiveness of Measures of Uncertainty of Basic Belief Assignments

Blockchain in Agriculture

Multi-UAV Mission Planning for Monitoring Critical Infrastructures Considering Failures and Cyberattacks

A Hybrid Intrusion Detection with Decision Tree for Feature Selection

European Conflict Analysis Project (ECAP)

Generalized Net Model of the Water Resources Assessment Process and Water Use Management

News

Nanotechnology and Global Security

Nanotechnology and Global Security

How Improved Attribution in Cyber Warfare Can Help De-Escalate Cyber Arms Race

Hybrid War: High-tech, Information and Cyber Conflicts

The Age of Post-Truth: State Influence and Strategic Communication - Contemporary Security Challenges on Europe’s Eastern Flank:

How Improved Attribution in Cyber Warfare Can Help De-Escalate Cyber Arms Race

Social Media accounts

The Winter 2020 issue of Connections

The Summer-Fall 2018 issue of Connections

The Winter 2018 issue of Connections

Popular content

Useful links

Partner sites

Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project

Publication Type:

Authors:

Source:

Search form

Information & Security journal

Previews

News

Popular content

Useful links

Partner sites