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
Biblio
Export 3 results:
RTF
EndNote XML
Filters:
Author
is
Mark Lawford
[Clear All Filters]
2012
Lawford, Mark
, and
Alan Wassyng
.
"
Formal Verification of Nuclear Systems: Past, Present, and Future
."
Information & Security: An International Journal
28, no. 2 (2012): 223-235.
DOI
Google Scholar
RTF
EndNote XML
2003
Wassyng, Alan
, and
Mark Lawford
.
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project
In
FME 2003: International Symposium of Formal Methods Europe Proceedings
. Pisa, Italy, 2003.
Google Scholar
RTF
EndNote XML
2000
Lawford, Mark
,
Jeff McDougall
,
Peter Froebel
, and
Greg Moum
.
Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software
In
Algebraic Methodology and Software Technology
., 2000.
Google Scholar
RTF
EndNote XML
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