• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID.

Neeraj Kumar SinghYamine Aït-AmeurIsmaïl MendilDominique MéryDavid NavarrePhilippe A. PalanqueMarc Pantel
Published in: J. Softw. Evol. Process. (2023)
Keyphrases
  • interactive systems
  • safety critical
  • formal methods
  • real time
  • data mining
  • medical images