Deriving Reusable Process-based Arguments from Process Models in the Context of Railway Safety Standards.
- Published in:
- Ada User Journal, 2015, v. 36, n. 4, p. 237
- By:
- Publication type:
- Article
Works matching IS 13816551 AND DT 2015 AND VI 36 AND IP 4
Results: 12
1
2
From Byron to the Ada Language.
- Published in:
- Ada User Journal, 2015, v. 36, n. 4, p. 231
- By:
- Publication type:
- Article
3
Dependable Medical Cyber-Physical System for Home Telecare of High-Risk Pregnancy.
- Published in:
- Ada User Journal, 2015, v. 36, n. 4, p. 254
- By:
- Publication type:
- Article
4
Modeling Methodologies for Cyber-Physical Systems: Research Field Study on Inherent and Future Challenges.
- Published in:
- Ada User Journal, 2015, v. 36, n. 4, p. 246
- By:
- Publication type:
- Article
5
2nd Workshop on Challenges and New Approaches for Dependable and Cyber-Physical System Engineering (De-CPS 2015) Editorial.
- Published in:
- 2015
- By:
- Publication type:
- Proceeding
6
The CONCERTO Project: an Open Source Methodology for Designing, Deploying, and Operating Reliable and Safe CPS Systems.
- Published in:
- Ada User Journal, 2015, v. 36, n. 4, p. 264
- By:
- Publication type:
- Article
7
Simulating Next-Generation Cyber-Physical Computing Platforms.
- Published in:
- Ada User Journal, 2015, v. 36, n. 4, p. 259
- By:
- Publication type:
- Article
8
The Ada Lovelace Symposium in Oxford.
- Published in:
- 2015
- By:
- Publication type:
- Proceeding
9
Conference Calendar.
- Published in:
- 2015
- By:
- Publication type:
- Calendar
10
Quarterly News Digest.
- Published in:
- Ada User Journal, 2015, v. 36, n. 4, p. 200
- By:
- Publication type:
- Article
11
Editorial.
- Published in:
- Ada User Journal, 2015, v. 36, n. 4, p. 199
- By:
- Publication type:
- Article
12
Ada-Europe 2016.
- Published in:
- 2015
- Publication type:
- Proceeding