Login / Signup

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