Hyunsoo Lee, Seong Dae Kim & Mohammad Aman Ullah Al Amin. (2022) Control framework for collaborative robot using imitation learning-based teleoperation from human digital twin to robot digital twin. Mechatronics 85, pages 102833.
Crossref
Chrissoleon T. Papadopoulos, Jingshan Li & Michael E.J. O'Kelly. (2019) A classification and review of timed Markov models of manufacturing systems. Computers & Industrial Engineering 128, pages 219-244.
Crossref
Allan Clark, Adam Duguid & Stephen Gilmore. 2011. Rigorous Software Engineering for Service-Oriented Systems. Rigorous Software Engineering for Service-Oriented Systems
506
521
.
Allan Clark, Stephen Gilmore & Mirco Tribastone. 2009. Recent Trends in Algebraic Development Techniques. Recent Trends in Algebraic Development Techniques
21
36
.
Allan Clark, Stephen Gilmore, Jane Hillston & Mirco Tribastone. 2007. Formal Methods for Performance Evaluation. Formal Methods for Performance Evaluation
132
179
.
Holger Hermanns, Ulrich Herzog & Joost-Pieter Katoen. (2002) Process algebra for performance evaluation. Theoretical Computer Science 274:1-2, pages 43-87.
Crossref
Marco Bernardo, Lorenzo Donatiello & Paolo Ciancarini. 2002. Performance Evaluation of Complex Systems: Techniques and Tools. Performance Evaluation of Complex Systems: Techniques and Tools
236
260
.
Stephen Gilmore & Jane Hillston. 2001. Language Constructs for Describing Features. Language Constructs for Describing Features
125
142
.
Jane Hillston. 2001. Lectures on Formal Methods and PerformanceAnalysis. Lectures on Formal Methods and PerformanceAnalysis
278
314
.
Holger Hermanns & Joost-Pieter Katoen. (2000) Automated compositional Markov chain generation for a plain-old telephone system. Science of Computer Programming 36:1, pages 97-127.
Crossref
Jane Hillston & Nigel Thomas. (1999) Product form solution for a class of PEPA models. Performance Evaluation 35:3-4, pages 171-192.
Crossref
G Clark, S Gilmore, J Hillston & N Thomas. (1999) Experiences with the PEPA performance modelling tools. IEE Proceedings - Software 146:1, pages 11.
Crossref
H. Hermanns, V. Mertsiotakis & M. Siegle. 1999. Computer Aided Verification. Computer Aided Verification
487
490
.
J. Hillston & N. Thomas. (1998) Product form solution for a class of PEPA models. Product form solution for a class of PEPA models.
Holger Hermanns & Vassilis Mertsiotakis. 1996. Performance Engineering of Computer and Telecommunications Systems. Performance Engineering of Computer and Telecommunications Systems
187
201
.