PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Pickin, Simon"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A formal nethod (a networked formal method).

, und . ISSE, 6 (4): 255-268 (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.

Hon. -Prof. Dr. -Ing. Volker Simon University of Stuttgart

Univ. -Prof. Dr. -Ing. Sven Simon University of Stuttgart

Carl Simon University of Stuttgart

Kai Simon University of Stuttgart

Frédéric Simonis University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Approximate verification in an open source world., und . ISSE, 4 (1): 87-105 (2008)Processor Rescue - Safe Coding for Hardware Aliasing., , und . SoMeT, Volume 532 von Communications in Computer and Information Science, Seite 137-148. Springer, (2015)Knowledge model reuse: therapy decision through specialisation of a generic decision model., , und . Expert Syst. Appl., 23 (2): 113-135 (2002)Open source verification in an anonymous volunteer network., und . Sci. Comput. Program., (2014)Symbolic approximation: an approach to verification in the large., und . ISSE, 2 (3-4): 147-163 (2006)Safe Compilation for Encrypted Computing., und . IACR Cryptology ePrint Archive, (2019)One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code., und . Ada-Europe, Volume 4006 von Lecture Notes in Computer Science, Seite 56-70. Springer, (2006)Semi-Automatic Generation of Competency Maps Based on Educational Data Mining., , und . Int. J. Comput. Intell. Syst., 12 (2): 744-760 (2019)Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects., und . SEW, Seite 246-255. IEEE Computer Society, (2007)Describing generic expertise models as object-oriented analysis patterns: the heuristic multi-attribute decision pattern., und . Expert Systems, 19 (3): 142-169 (2002)