E-LIB Suche - Ergebnisse für: Gamble, Carl

1

A feasibility assessment of multi-modelling approaches for ..:

Golightly, David ; Pierce, Ken ; Palacin, Roberto.
Proceedings of the Institution of Mechanical Engineers, Part F: Journal of Rail and Rapid Transit. 236 (2021) 6 - p. 715-732 , 2021

Link: https://doi.org/10.1177/..

2

Exploring Human Behaviour in Cyber-Physical Systems with Mu..:

, In: Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops,

Pierce, Ken ; Gamble, Carl ; Golightly, David. - p. 237-253 , 2020

Link: https://doi.org/10.1007/..

3

Applying ergonomics within the multi-modelling paradigm wit..:

Golightly, David ; Gamble, Carl ; Palacin, Roberto.
Ergonomics. 63 (2020) 8 - p. 1027-1043 , 2020

Link: https://doi.org/10.1080/..

4

Multi-modelling for Decarbonisation in Urban Rail Systems:

Golightly, David ; Gamble, Carl ; Palacin, Roberto.
Urban Rail Transit. 5 (2019) 4 - p. 254-266 , 2019

Link: https://doi.org/10.1007/..

5

Collaborative modelling and co-simulation for Transportatio..:

, In: Transportation Cyber-Physical Systems,

Fitzgerald, John ; Gamble, Carl ; Mansfield, Martin... - p. 51-79 , 2018

Link: https://doi.org/10.1016/..

6

Engineering Cyber‐Physical Swarms with Collaborative Modell..:

Pierce, Ken ; Gamble, Carl ; Fitzgerald, John.
INCOSE International Symposium. 28 (2018) 1 - p. 1052-1066 , 2018

Link: https://doi.org/10.1002/..

7

List of contributors:

, In: Transportation Cyber-Physical Systems,

Ahmed, Shofiq ; Almeida, Eduardo S. ; Apon, Amy... - p. xi-xii , 2018

Link: https://doi.org/10.1016/..

8

Exploring the Cyber‐Physical Design Space:

Fitzgerald, John ; Gamble, Carl ; Payne, Richard.
INCOSE International Symposium. 27 (2017) 1 - p. 371-385 , 2017

Link: https://doi.org/10.1002/..

9

Collaborative Model‐based Systems Engineering for Cyber‐Phy..:

Fitzgerald, John ; Gamble, Carl ; Payne, Richard...
INCOSE International Symposium. 26 (2016) 1 - p. 817-832 , 2016

Link: https://doi.org/10.1002/..

10

Insider Threats : Identifying Anomalous Human Behaviour ..:

, In: Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats,

McGough, Andrew Stephen ; Wall, David ; Brennan, John... - p. 1-12 , 2015

Link: https://dl.acm.org/doi/1..

11

Cyber-physical systems design : formal foundations, meth..:

, In: Proceedings of the Third FME Workshop on Formal Methods in Software Engineering,

Fitzgerald, John ; Gamble, Carl ; Larsen, Peter Gorm.. - p. 40-46 , 2015

Link: https://dl.acm.org/doi/1..

12

Design Space Exploration in the Development of Agricultural..:

Foldager, Frederik ; Balling, Ole ; Boel, Martin...
Foldager , F , Balling , O , Boel , M , Gamble , C , Larsen , P G & Green , O 2018 , Design Space Exploration in the Development of Agricultural Robots . in Book of Abstracts of the European Conference on Agricultural Engineering : AgEng2018 . Wageningen University , Wageningen , pp. 60-61 , EurAgEng 2018 , Wageningen , Netherlands , 08/07/2018 . https://doi.org/10.18174/471678. , 2018

Link: https://pure.au.dk/porta..

13

Features of Integrated Model-based Co-modelling and Co-simu..:

Larsen, Peter Gorm ; Fitzgerald, John S ; Woodcock, Jim...
Larsen , P G , Fitzgerald , J S , Woodcock , J , Gamble , C , Payne , R & Pierce , K 2017 , ' Features of Integrated Model-based Co-modelling and Co-simulation Technology ' , Paper presented at 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems , Trento , Italy , 05/09/2017 .. , 2017

Link: https://pure.au.dk/porta..

14

INTO-CPS tool chain user manual:

Bandur, Victor ; Larsen, Peter Gorm ; Lausdahl, Kenneth...
Bandur , V , Larsen , P G , Lausdahl , K , Thule , C , Gamble , C , Payne , R , Pop , A , Brosse , E , Brauer , J , Lapschies , F , Groothuis , M , Bokhove , T , Kleijn , C & Couto , L D 2017 , INTO-CPS tool chain user manual . Aarhus Universiet , Aarhus .. , 2017

Link: https://pure.au.dk/porta..

15

Integrated Tool Chain for Model-Based Design of Cyber-Physi..:

Larsen, Peter Gorm ; Thule, Casper ; Lausdahl, Kenneth Guldbrandt...
Larsen , P G , Thule , C , Lausdahl , K G , Bandur , V , Gamble , C , Brosse , E , Sadovykh , A , Bagnato , A & Couto , L D 2016 , Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems . in P G Larsen , N Plat & N Battle (eds) , The 14th Overture Workshop: Towards Analytical Tool Chains : Technical report ECE - TR - 28 . vol. 4/28 , Aarhus University, Department of Engineering , Aarhus , Technical report ECE - TR - 28 , pp. 63-79 , The 14th Overture Workshop , Limassol , Cyprus , 07/11/2016 .. , 2016

Link: https://pure.au.dk/porta..