Works matching IS 13816551 AND DT 2016 AND VI 37 AND IP 4
Results: 9
Modeling Multi-board Communication in the AXIOM Cyber-Physical System.
- Published in:
- Ada User Journal, 2016, v. 37, n. 4, p. 228
- By:
- Publication type:
- Article
Spatio-temporal Model-Checking for Collective Adaptive Systems in QUANTICOL.
- Published in:
- Ada User Journal, 2016, v. 37, n. 4, p. 223
- By:
- Publication type:
- Article
Tackling Uncertainty in Cyber-Physical Systems with Automated Testing.
- Published in:
- Ada User Journal, 2016, v. 37, n. 4, p. 219
- By:
- Publication type:
- Article
SysML for Modeling Co-simulation Orchestration over FMI: the INTO-CPS Approach.
- Published in:
- Ada User Journal, 2016, v. 37, n. 4, p. 215
- By:
- Publication type:
- Article
3rd Workshop on Challenges and New Approaches for Dependable and Cyber-Physical System Engineering (De-CPS 2016) Editorial.
- Published in:
- 2016
- By:
- Publication type:
- Proceeding
Middleware for a Distributed and Hot-Redundant Software in Ada 2012.
- Published in:
- Ada User Journal, 2016, v. 37, n. 4, p. 207
- By:
- Publication type:
- Article
Conference Calendar.
- Published in:
- 2016
- By:
- Publication type:
- Proceeding
Quarterly News Digest.
- Published in:
- 2016
- By:
- Publication type:
- Letter to the Editor
Editorial.
- Published in:
- 2016
- By:
- Publication type:
- Proceeding