In memoriam: José Rufino.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 305
- Publication type:
- Article
Works matching IS 13816551 AND DT 2018 AND VI 39 AND IP 4
Results: 16
1
2
Non-intrusive Observation and Runtime Verification of Avionic Systems.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 300
- By:
- Publication type:
- Article
3
Non-intrusive Runtime Verification within a System-on-Chip.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 296
- By:
- Publication type:
- Article
4
Verification of Scheduling Properties Based on Execution Traces.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 291
- By:
- Publication type:
- Article
5
Hardware Support to Non-intrusive Runtime Verification on Processor Technologies.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 287
- By:
- Publication type:
- Article
6
A Real-Time System Monitoring driven by Scheduling Analysis.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 282
- By:
- Publication type:
- Article
7
NORTH - Non-intrusive Observation and RunTime Verification of Cyber-Physical Systems.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 278
- By:
- Publication type:
- Article
8
Secure Wireless Avionics Intra-Communications: the SCOTT Approach.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 267
- By:
- Publication type:
- Article
9
FED4SAE: A Digital Innovation Hub for the Smart Anything Everywhere Initiative.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 264
- By:
- Publication type:
- Article
10
AQUAS: A Project to Bridge the Gaps between Safety and Security Processes.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 261
- By:
- Publication type:
- Article
11
ENABLE-S3: On Improving the Verification and Validation of Automated Cyber-Physical Systems.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 256
- By:
- Publication type:
- Article
12
AGILE-R<sup>1</sup>: Agile Software Development for Railways.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 250
- By:
- Publication type:
- Article
13
Conference Calendar.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 240
- By:
- Publication type:
- Article
14
Quarterly News Digest.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 214
- By:
- Publication type:
- Article
15
In memoriam: Jacob Sparre Andersen.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 213
- Publication type:
- Article
16
Editorial.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 211
- By:
- Publication type:
- Article