Sign in

A Runtime Environment for Contract Automata.

Davide BasileMaurice H. ter Beek
Published in: FM (2023)
Keyphrases
  • runtime environment
  • parallel computation
  • database server
  • object model
  • user interface
  • virtual machine
  • advanced features
  • real time
  • three dimensional
  • databases
  • computer systems
  • computing systems
  • parallel computing