Items where authors include "Baxter, J."

Export as [feed] Atom [feed] RSS
Number of items: 4.

Article

Baxter, J., Cavalcanti, A., Gazda, M. et al. (1 more author) (2023) Testing using CSP models: time, inputs, and outputs. ACM Transactions on Computational Logic, 24 (2). 17. ISSN 1529-3785

Awre, C., Baxter, J., Clifford, B. et al. (20 more authors) (2015) Research data management as a “wicked problem”. Library Review, 64 (4-5). 356 - 371. ISSN 0024-2535

Proceedings Paper

Cavalcanti, A., Baxter, J., Hierons, R.M. orcid.org/0000-0002-4771-1446 et al. (1 more author) (2019) Testing robots using CSP. In: Beyer, D. and Keller, C., (eds.) 13th International Conference on Tests and Proofs (TAP 2019). 13th International Conference on Tests and Proofs, 09-11 Oct 2019, Porto, Portugal. Lecture Notes in Computer Science, 11823 . Springer , pp. 21-38. ISBN 9783030311568

Baxter, J. and Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976 (2017) Algebraic Compilation of Safety-Critical Java Bytecode. In: Polikarpova, N. and Schneider, S., (eds.) Integrated Formal Methods. UNSPECIFIED. Springer , pp. 161-176.

This list was generated on Sat Mar 23 06:25:57 2024 GMT.