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. Les éditeurs sont Régine Laleau, Dominique Méry, Shin Nakajima and Elena Troubitsyna.
-
Articles récents
Catégories
mars 2021 L M M J V S D « Mai 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31