Login / Signup

Making Reactive Systems Highly Reliable by Hypersequential Programming.

Naoshi Uchihira
Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2005)
Keyphrases
  • reactive systems
  • highly reliable
  • temporal logic
  • information flow
  • model checking
  • petri net
  • formal methods
  • real time systems
  • control flow