AltaRica project leader A. Griffault gaves an interview on the usefulness of formal languages, like AltaRica, in the design of critical systems. Listen the interview podcast.
AltaRica project leader A. Griffault gaves an interview on the usefulness of formal languages, like AltaRica, in the design of critical systems. Listen the interview podcast.