Composition Operators for Event-B. CO4EB Rodin plugin

Autor:	Idir AIT SADOUNE, Yamine Aït-Ameur
Přispěvatelé:	Supélec Sciences des Systèmes (E3S), Ecole Supérieure d'Electricité - SUPELEC (FRANCE), Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Institut National Polytechnique (Toulouse) (Toulouse INP)
Jazyk:	angličtina
Rok vydání:	2014
Předmět:	[INFO]Computer Science [cs] [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation ComputingMilieux_MISCELLANEOUS
Zdroj:	Proceedings of the 5th Rodin User and Developer Workshop Rodin Workshop 2014 Rodin Workshop 2014, Jun 2014, Toulouse, France HAL
Popis:	International audience
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7793fd65ebbdb4307e571d2b24b91f3a https://hal-supelec.archives-ouvertes.fr/hal-01103340 Zobrazit plný text záznamu