Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

Article

Foster, Simon David orcid.org/0000-0002-9889-9514, Zeyda, Frank, Nemouchi, Yakoub et al. (2 more authors) (2019) Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming. Archive of Formal Proofs. ISSN 2150-914x

Miyazawa, Alvaro Heiji orcid.org/0000-0003-2233-9091, De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872, Li, W. orcid.org/0000-0001-9786-585X et al. (3 more authors) (2019) RoboChart: modelling and verification of the functional behaviour of robotic applications. Software and Systems Modeling. ISSN 1619-1366

De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872 and Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 (2018) Angelic Processes for CSP via the UTP. Theoretical Computer Science. ISSN 0304-3975

Monograph

Foster, Simon David orcid.org/0000-0002-9889-9514, Zeyda, Frank, Nemouchi, Yakoub et al. (2 more authors) (2018) Isabelle/UTP: Mechanised Theory Engineering for the UTP. Working Paper. (Unpublished)

Proceedings Paper

De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872, Miyazawa, A. orcid.org/0000-0003-2233-9091, Li, W. orcid.org/0000-0001-9786-585X et al. (2 more authors) (2017) Modelling and Verification of Timed Robotic Controllers. In: Polikarpova, N. and Schneider, S., (eds.) Integrated Formal Methods. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 18-33.

This list was generated on Mon Oct 14 10:38:33 2019 BST.