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
Developing Mode-Rich Satellite Software by Refinement in Event-B
Publication Type:
Book Chapter
Authors:
Alexei Iliasov
;
Elena Troubitsyna
;
Linas Laibinis
;
Alexander Romanovsky
;
Kimmo Varpaaniemi
;
Dubravka Ilic
;
Timo Latvala
Source:
Formal Methods for Industrial Critical Systems, FMICS 2010, Springer (2010)
8303 reads
Google Scholar
DOI
RTF
EndNote XML
Last updated:
Tuesday, 04 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