( en | de | ru )

 

Disambiguierung von "Bicarregui, Juan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Event-B Approach to Data Sharing Agreements.

, , , und . IFM, Volume 6396 von Lecture Notes in Computer Science, Seite 28-42. Springer, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Hsiao-Mei Juan

Alexander Juan

Pere Juan i Tous

María Elena Juan Pardo

Pedro Juan-Tous

 

Weitere Publikationen von Autoren mit dem selben Namen

Do Not Read This.. FME, Volume 2391 von Lecture Notes in Computer Science, Seite 106-125. Springer, (2002)Quantitative Analysis of an Application of Formal Methods., , und . FME, Volume 1051 von Lecture Notes in Computer Science, Seite 60-73. Springer, (1996)Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context., , , und . ZB, Volume 1878 von Lecture Notes in Computer Science, Seite 107-126. Springer, (2000)Towards a Methodology for Software Preservation., , , , , und . iPRES, (2009)Proof and Refutation in Formal Software Development., und . IWFM, BCS, (1999)Towards Modelling Obligations in Event-B., , , , und . ABZ, Volume 5238 von Lecture Notes in Computer Science, Seite 181-194. Springer, (2008)Policy-Driven Access Control over a Distributed Firewall Architecture., , , , und . POLICY, Seite 228-231. IEEE Computer Society, (2002)Structured Axiomatic Semantics for UML Models., , und . Rigorous Object-Oriented Methods, BCS, (2000)Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation., , und . ECOOP, Volume 1241 von Lecture Notes in Computer Science, Seite 324-343. Springer, (1997)Exploiting Formality in Software Engineering.. SOFSEM, Volume 1725 von Lecture Notes in Computer Science, Seite 163-180. Springer, (1999)