Publications de
Richard Banach, Jean-Paul Bodeveix, Mamoun Filali, Michael Poppleton
Dynamic aspects of retrenchments through temporal logic
Dans : Annals of Mathematics, Computing and Teleinformatics (AMCT), Technological Education Institute of Larissa, Grèce, Vol. 1 N. 3, p. 18-26, 2005.
Richard Banach, Jean-Paul Bodeveix, Mamoun Filali, Michael Poppleton
Dynamic aspects of retrenchments through temporal logic
Dans : SEEFM05 2nd South-East European Workshop on Formal Methods, Ohrid (Macédoine), 18/11/05-19/11/05, South-East European Research Center (SEERC), p. 104-118, novembre 2005.