Simon Foster

ORCID iD
https://orcid.org/0000-0002-9889-9514
  • Country
  • Show details Hide details
United Kingdom

Sources:
Simon Foster (2017-12-29)

  • Keywords
  • Show details Hide details
Formal Methods,

Sources:
Simon Foster (2017-12-29)

Theorem Proving,

Sources:
Simon Foster (2017-12-29)

Denotational Semantics,

Sources:
Simon Foster (2017-12-29)

Concurrency,

Sources:
Simon Foster (2017-12-29)

Cyber-Physical Systems

Sources:
Simon Foster (2017-12-29)

  • Websites
  • Show details Hide details
Personal Academic Website

Sources:
Simon Foster (2017-12-29)

  • Other IDs
  • Show details Hide details
Scopus Author ID: 36727364300

Sources:
Scopus - Elsevier (2017-12-29)

Record last modified {{lastModifiedDate}}