Skip to main content
IT for Security
Team
Researchers
Associates
Support Staff
PHD Students
Projects
Ongoing
Upcoming
Finalized
Courses
Defence policy
Security Studies
Cybersecurity
Administration
Management
Economics
Innovations
Themes
all courses
Resources
Publications
IT4Sec Reports
CSDM Views
Presentations
Books
Events
Partners
Contact
Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project
Publication Type:
Journal Article
Authors:
Alexander Romanovsky
Source:
ACM SIGSOFT Software Engineering Notes, Volume 37, Issue 5, p.1-4. (2012)
8089 reads
Google Scholar
DOI
RTF
EndNote XML
Last updated:
Monday, 03 April 2017
English
Български
Search form
Search
Resources
Security policy
Cybersecurity
Intelligence
Law Enforcement
Terrorism
Operations
Technologies & Industry
Personnel management
Acquisition Management
Strategy
Concepts and doctrine
Management
Defence economics
Financial management
Information & knowledge management
Simulation and Training
Change management
Decision-making
Good governance