Publiés par Frédéric Badeau Frédéric est responsable du département « méthodes formelles et preuves » RSS feed (en) Flux RSS (fr) 2023-01-03 16:18Generating and verifying configuration data with OVADO²® 2021-06-22 10:57Use of B method for dynamic structures in S2OPC
