Autor der Publikation

A Relational Model for Object-Oriented Designs.

, , , und . APLAS, Volume 3302 von Lecture Notes in Computer Science, Seite 415-436. Springer, (2004)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Frequency and Color Fusion for Face Verification., und . Cross Disciplinary Biometric Systems, Volume 37 von Intelligent Systems Reference Library, Springer, (2012)Verifying duration properties of timed transition systems., , und . PROCOMET, Volume 125 von IFIP Conference Proceedings, Seite 327-345. Chapman & Hall, (1998)The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing., , , und . EuroS&P Workshops, Seite 145-152. IEEE, (2018)Transformation of Programs for Fault-Tolerance., und . Formal Aspects Comput., 4 (5): 442-469 (1992)Prototyping System Requirements Model., und . TTSS, Volume 207 von Electronic Notes in Theoretical Computer Science, Seite 17-32. Elsevier, (2007)RM2PT: a tool for automated prototype generation from requirements model., , , und . ICSE (Companion Volume), Seite 59-62. IEEE / ACM, (2019)RelationRS: Relationship Representation Network for Object Detection in Aerial Images., , , , , , , , , und 1 andere Autor(en). Remote. Sens., 14 (8): 1862 (2022)A Novel Blockchain-Assisted Aggregation Scheme for Federated Learning in IoT Networks., , , , und . IEEE Internet Things J., 10 (19): 17544-17556 (Oktober 2023)A Relational Model for Formal Object-Oriented Requirement Analysis in UML., , , und . ICFEM, Volume 2885 von Lecture Notes in Computer Science, Seite 641-664. Springer, (2003)Integrating Theories and Techniques for Program Modelling, Design and Verification., , , und . VSTTE, Volume 4171 von Lecture Notes in Computer Science, Seite 291-300. Springer, (2005)