Connecting you to content on EBSCOhost

Works matching IS 13816551 AND DT 2016 AND VI 37 AND IP 4

Results: 9

1

Modeling Multi-board Communication in the AXIOM Cyber-Physical System.

Published in:

Ada User Journal, 2016, v. 37, n. 4, p. 228

By:

Giorgi, Roberto;
Mazumdar, Somnath;
Viola, Stefano;
Gai, Paolo;
Garzarella, Stefano;
Morelli, Bruno;
Pnevmatikatos, Dionisios;
Theodoropoulos, Dimitris;
Alvarez, Carlos;
Ayguadé, Eduard;
Bueno, Javier;
Filgueras, Antonio;
Jimenez-Gonzalez, Daniel;
Martorell, Xavier

Publication type:

Article

2

Spatio-temporal Model-Checking for Collective Adaptive Systems in QUANTICOL.

Published in:

Ada User Journal, 2016, v. 37, n. 4, p. 223

By:

Ciancia, V.;
Latella, D.;
Loreti, M.;
Massink, M.

Publication type:

Article

3

Tackling Uncertainty in Cyber-Physical Systems with Automated Testing.

Published in:

Ada User Journal, 2016, v. 37, n. 4, p. 219

By:

Ali, Shaukat;
Tao Yue;
Man Zhang

Publication type:

Article

4

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:

Bagnato, Alessandra;
Brosse, Etienne;
Quadri, Imran;
Sadovykh, Andrey

Publication type:

Article

5

Middleware for a Distributed and Hot-Redundant Software in Ada 2012.

Published in:

Ada User Journal, 2016, v. 37, n. 4, p. 207

By:

Monfort, Vincent

Publication type:

Article

6

Conference Calendar.

Published in:

2016

By:

Craeynest, Dirk

Publication type:

Proceeding

7

Editorial.

Published in:

2016

By:

Pinho, Luís Miguel

Publication type:

Proceeding

8

3rd Workshop on Challenges and New Approaches for Dependable and Cyber-Physical System Engineering (De-CPS 2016) Editorial.

Published in:

2016

By:

Mazzini, Silvia;
Cancila, Daniela;
Bagnato, Alessandra;
Conmy, Philippa Ryan;
Rioux, Laurent

Publication type:

Proceeding

9

Quarterly News Digest.

Published in:

2016

By:

Andersen, Jacob Sparre

Publication type:

Letter to the Editor