Les actes du workshop IMPEX 2017 sont publiés dans la série EPTCS: EPTCS 271, Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD) Xi’An, China, 16th November 2017. … Continuer la lecture
-
Articles récents
Catégories