Access the full text.
Sign up today, get DeepDyve free for 14 days.
L. Hars (2007)
Discryption: Internal Hard-Disk Encryption for Secure StorageComputer, 40
Z. Kais, M. Sallak, W. Schön, S. Rangra, R. Sacile (2014)
A UML APPROACH FOR MODELING AND VERIFYING OF RAILWAY SIGNALLING SYSTEMS SPECIFICATIONS
M. Ghazel (2014)
Formalizing a subset of ERTMS/ETCS specifications for verification purposesTransportation Research Part C-emerging Technologies, 42
Marielle Stoelinga, Ralf Pinger (2012)
Formal Methods for Industrial Critical Systems, 7437
(2005)
Requirements engineering
Christopher Morris, J. Easton, C. Roberts (2016)
From Data to Information: Provision of Railway Data to Passengers in the Information Age
(2017)
Digital railway programme requirements management plan
(2013)
Information technology -object management group business process model and notation
Knut Hinkelmann, A. Gerber, D. Karagiannis, Barbara Thönssen, A. Merwe, R. Woitsch (2016)
A new paradigm for the continuous alignment of business and IT: Combining enterprise architecture modelling and enterprise ontologyComput. Ind., 79
D. Hitchins (2007)
Systems Engineering: A 21st Century Systems Methodology
R. Nowell, R. Ashley (2011)
Whole System Design an Integrated Approach to Sustainable Engineering, 164
J. Holt, Simon Perry, M. Brownsword (2011)
Model-Based Requirements Engineering
(2009)
A need for formalisation and auditing in enterprise architecture programs and approaches
(2002)
Extension mechanisms', in 'Guide to applying the UML
(2016)
The open web of transportation data as a shared networked environment for the realization of the single European railway area
Zan Ting-qua (2015)
Systems Thinking(I)Journal of Communication University of China
Alessio Ferrari, G. Spagnolo, Giacomo Martelli, Simone Menabeni (2014)
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutionsInternational Journal on Software Tools for Technology Transfer, 16
(2012)
Building and putting your business capability model to work', Enterprise Architecture Executive Council (CEB)
S. Kotusev (2017)
Enterprise Architecture: What Did We Study?Int. J. Cooperative Inf. Syst., 26
A. Fantechi, W. Fokkink, A. Morzenti (2012)
Some Trends in Formal Methods Applications to Railway Signaling
M. Nikolaidou, Anargyros Tsadimas, Nancy Alexopoulou, D. Anagnostopoulos (2009)
Employing Zachman Enterprise Architecture Framework to Systematically Perform Model-Based System Engineering Activities2009 42nd Hawaii International Conference on System Sciences
(2003)
Rethinking management information systems
P. Sun (2015)
Model based system engineering for safety of railway critical systems
(2017)
OpenETCS methods – definition of the methods used to perform the formal description
P. Joannou (2007)
Enterprise, Systems, and Software Engineering--The Need for IntegrationComputer, 40
Bruno Arnaut, D. Ferrari, Marcelo Souza (2016)
A requirements engineering and management process in concept phase of complex systems2016 IEEE International Symposium on Systems Engineering (ISSE)
(2010)
Author manuscript, published in "The European Safety and Reliability Conference (ESREL'09), Prague: Czech Republic (2009)" A study of railway ERTMS safety with Colored Petri Nets
I. Bray (2002)
An Introduction to Requirements Engineering
D. Walden (2015)
Systems engineering handbook : a guide for system life cycle processes and activities
IET Intelligent Transport Systems – Wiley
Published: Oct 1, 2019
Keywords: ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ;
You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.