Preface - Research Database, The University of York

By the same authors

From Java to Real-Time Java: A Model-Driven Methodology with Automated Toolchain (Invited Paper): From Java to Real-Time Java: A Model-Driven Methodology
Chang, W., Zhao, S., Wei, R., Wellings, A. J. & Burns, A., 23 Jul 2019.
Research output: Contribution to conference › Paper
SCJ-Circus: specification and refinement of Safety-Critical Java programs
Miyazawa, A. H., Cavalcanti, A. L. C. & Wellings, A. J., 15 Jul 2019
Article in Science of Computer Programming
From Java to real-time Java: a model-driven methodology with automated toolchain
Chang, W., Zhao, S., Wei, R., Wellings, A. J. & Burns, A., 23 Jun 2019, p. 123-134. 12 p.
Research output: Contribution to conference › Paper
Investigating the Correctness and Efficiency of MrsP in Fully Partitioned Systems
Zhao, S. & Wellings, A. J., 17 Nov 2017.
Research output: Contribution to conference › Paper
Java in the Safety-Critical Domain
Cavalcanti, A., Miyazawa, A., Wellings, A., Woodcock, J. & Zhao, S., 6 Apr 2017, Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. Bowen, J., Liu, Z. & Zhang, Z. (eds.). Springer, Vol. 10215. p. 110-150 41 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Preface

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Published copy (DOI)

10.1007/978-1-4419-8158-5

Author(s)

M. Teresa Higuera-Toledano
Andy J. Wellings

Department/unit(s)

Publication details

Title of host publication	Distributed, Embedded and Real-time Java Systems
Date	Published - 1 Nov 2012
Pages	v-viii
Editors	M. Teresa Higuera-Toledano, Andy J. Wellings
Original language	English
ISBN (Electronic)	978-1-4419-8158-5

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

York staff: edit these data