The Use of Controlled Vocabularies and Structured Expressions in the Assurance of CPS.
- Published in:
- Ada User Journal, 2014, v. 35, n. 4, p. 251
- By:
- Publication type:
- Article
Works matching IS 13816551 AND DT 2014 AND VI 35 AND IP 4
Results: 12
1
2
RoundTable on "Challenges and New Approaches for Dependable and Cyber-Physical System Engineering (De-CPS)", Ada-Europe 2014.
- Published in:
- Ada User Journal, 2014, v. 35, n. 4, p. 278
- By:
- Publication type:
- Article
3
Behavioral Contracts for Energy Consumption.
- Published in:
- Ada User Journal, 2014, v. 35, n. 4, p. 266
- By:
- Publication type:
- Article
4
Dependable Real-Time System and Mixed Criticality: Seeking Safety, Flexibility and Efficiency with Kron-OS.
- Published in:
- Ada User Journal, 2014, v. 35, n. 4, p. 259
- By:
- Publication type:
- Article
5
Challenges and New Approaches for Dependable and Cyber-Physical System Engineering (De-CPS), Ada-Europe 2014.
- Published in:
- Ada User Journal, 2014, v. 35, n. 4, p. 250
- By:
- Publication type:
- Article
6
Feasibility Study in the Use of Contract-Based Approaches to Deal with Safety-Related Properties in CPS.
- Published in:
- Ada User Journal, 2014, v. 35, n. 4, p. 272
- By:
- Publication type:
- Article
7
Proceedings Workshop Challenges and New Approaches for Dependable and Cyber-Physical System Engineering (De-CPS 2014) Ada-Europe 2014 23 June 2014 Paris, France.
- Published in:
- 2014
- Publication type:
- Proceeding
8
AdDoc (beyond a document generator).
- Published in:
- Ada User Journal, 2014, v. 35, n. 4, p. 246
- By:
- Publication type:
- Article
9
Conference Calendar.
- Published in:
- 2014
- By:
- Publication type:
- Calendar
10
Forthcoming Events.
- Published in:
- 2014
- Publication type:
- Proceeding
11
Quarterly News Digest.
- Published in:
- Ada User Journal, 2014, v. 35, n. 4, p. 212
- By:
- Publication type:
- Article
12
Editorial.
- Published in:
- Ada User Journal, 2014, v. 35, n. 4, p. 211
- By:
- Publication type:
- Article