PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ameur, Yamine Aït"

Author of the publication

copydeleteadd this publication to your clipboard
Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B.

, , , and . TASE, page 9-16. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Ameur, Yamine Aït
add a person with the name Ameur, Yamine Aït
 

Other publications of authors with the same name

An Extension of Ontology based Databases to Handle Preferences., , , and . ICEIS (1), page 208-213. (2009)A Formal Model for CARE Usability Properties Verification in Multimodal HCI., and . ICPS, page 341-348. IEEE Computer Society, (2007)MQL: A Mapping Management Language for Model-based Databases., , , and . ICEIS (1), page 145-150. SciTePress, (2012)A Semantic Repository for Geological Modeling Workflows., , and . ICWS, page 1030-1031. IEEE Computer Society, (2009)Representation of procedural knowledge and its use to compute a form of subsumption.. IFIP Congress Topical Sessions, volume 156 of IFIP, page 31-36. Kluwer/Springer, (2004)Encoding a process algebra using the Event B method., , , and . STTT, 11 (3): 239-253 (2009)A Semantic Repository for Adaptive Services.. SERVICES I, page 211-218. IEEE Computer Society, (2009)SWAPT - Semantic Workflow Architecture for Petroleum Techniques., , and . WEBIST, page 101-104. INSTICC Press, (2009)Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach., and . SERA (selected papers), volume 296 of Studies in Computational Intelligence, page 51-68. Springer, (2010)Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies., and . TASE, page 79-86. IEEE Computer Society, (2015)