( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Proof and Refutation in Formal Software Development.

, и . IWFM, BCS, (1999)

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.

Ralph Matthews

Rolf-Walter Briant

Benoît Briand

Danny Matthews

James Matthews

 

Другие публикации лиц с тем же именем

Translating Structured Database Schemas into Abstract Machines., и . IWFM, BCS, (1998)Metadata for Nanotechnology: Interoperability Aspects., и . MTSR, том 755 из Communications in Computer and Information Science, стр. 247-252. Springer, (2017)Security and Trust Issues in Semantic Grids., , , и . Semantic Grid, том 05271 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context., , , и . ZB, том 1878 из Lecture Notes in Computer Science, стр. 107-126. Springer, (2000)Data Curation Framework for Facilities Science., и . DATA, стр. 211-216. SciTePress, (2013)Persistent Identifiers for Facilities Research: Current Practices and Opportunities., , и . DAMDID/RCDL, том 2277 из CEUR Workshop Proceedings, стр. 181-185. CEUR-WS.org, (2018)Towards a Methodology for Software Preservation., , , , , и . iPRES, (2009)Enforcing Scientific Data Sharing Agreements., , , и . eScience, стр. 271-278. IEEE Computer Society, (2011)Richer Requirements for Better Clouds., , , , и . CloudCom (2), стр. 7-12. IEEE Computer Society, (2013)978-0-7695-5095-4.EnTag: enhancing social tagging for discovery, , , , , , и . JCDL '09: Proceedings of the 9th ACM/IEEE-CS joint conference on Digital libraries, стр. 163--172. New York, NY, USA, ACM, (2009)