Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Preface.

J. Bicarregui, A. Butterfield, und A. Arenas. Electron. Notes Theor. Comput. Sci., (2005)

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.

Juan Vargas University of Stuttgart

Jose Juan Jeronimo Rendon University of Stuttgart

Ph. D. Juan Esteban Martinez Jaramillo University of Stuttgart

Dr. -Ing. Juan Santiago López Bermúdez University of Stuttgart

Juan Patricio Lara Ditzel University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

The FMICS View on the Verified Software Repository.A. Arenas, J. Bicarregui, und T. Margaria. Transactions of the SDPS, 10 (4): 47-54 (2006)Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations.J. Bicarregui, und B. Ritchie. IEEE Trans. Software Eng., 21 (2): 79-89 (1995)Policy-Driven Access Control over a Distributed Firewall Architecture.T. Dimitrakos, I. Djordjevic, B. Matthews, J. Bicarregui, und C. Phillips. POLICY, Seite 228-231. IEEE Computer Society, (2002)Proof and Refutation in Formal Software Development.J. Bicarregui, und B. Matthews. IWFM, BCS, (1999)Data Management and Preservation Planning for Big Science.J. Bicarregui, N. Gray, R. Henderson, R. Jones, S. Lambert, und B. Matthews. IJDC, 8 (1): 29-41 (2013)Towards Modelling Obligations in Event-B.J. Bicarregui, A. Arenas, B. Aziz, P. Massonet, und C. Ponsard. ABZ, Volume 5238 von Lecture Notes in Computer Science, Seite 181-194. Springer, (2008)Formalising the UML in Structured Temporal Theories.K. Lano, und J. Bicarregui. Behavioral Specifications of Businesses and Systems, Volume 523 von The Kluwer International Series in Engineering and Computer Science, Springer, (1999)The verified software repository: a step towards the verifying compiler.J. Bicarregui, C. Hoare, und J. Woodcock. Formal Asp. Comput., 18 (2): 143-151 (2006)Reasoning about VDM Developments using the VDM Support Tool in MURAL.J. Bicarregui, und B. Ritchie. VDM Europe (1), Volume 551 von Lecture Notes in Computer Science, Seite 371-388. Springer, (1991)Quantitative Analysis of an Application of Formal Methods.J. Bicarregui, J. Dick, und E. Woods. FME, Volume 1051 von Lecture Notes in Computer Science, Seite 60-73. Springer, (1996)