Works matching IS 13816551 AND DT 2018 AND VI 39 AND IP 4
Results: 16
In memoriam: José Rufino.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 305
- Publication type:
- Article
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
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
Verification of Scheduling Properties Based on Execution Traces.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 291
- By:
- Publication type:
- Article
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
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
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
Secure Wireless Avionics Intra-Communications: the SCOTT Approach.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 267
- By:
- Publication type:
- Article
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
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
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
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
Conference Calendar.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 240
- By:
- Publication type:
- Article
Quarterly News Digest.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 214
- By:
- Publication type:
- Article
In memoriam: Jacob Sparre Andersen.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 213
- Publication type:
- Article
Editorial.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 211
- By:
- Publication type:
- Article