PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Wolpers, Andreas"

Author of the publication

copydeleteadd this publication to your clipboard
VSE: formal methods meet industrial needs.

, , , , , , , , and . STTT, 3 (1): 66-77 (2000)

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. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. -Ing. Andreas Michalowski University of Stuttgart

Enhanced Scaling of Material Removal Rate with High Surface Quality Through Combined Laser Processes, , , , and . Lasers in manufacturing and materials processing, (2023)

Prof. Dr. Andreas Hotho

Ontology-based Text Document Clustering., , and . KI, 16 (4): 48-54 (2002)
Ontology-based Text Document Clustering., , and . KI, 16 (4): 48-54 (2002)Clustern mit Hintergrundwissen.. Karlsruhe Institute of Technology, (2004)

Junior-Prof. Dr.-Ing. Andreas Pott

Andreas Kaufmann

Andreas Pahler University of Stuttgart

 

Other publications of authors with the same name

VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien., , , , , , , , , and 3 other author(s). VIS, volume 16 of DuD-Fachbeiträge, page 175-190. Vieweg, (1993)A Calculus for Higher Order Procedures with Global Variables., and . MFCS, volume 711 of Lecture Notes in Computer Science, page 714-723. Springer, (1993)VSE: formal methods meet industrial needs., , , , , , , , and . STTT, 3 (1): 66-77 (2000)VSE: Controlling the Complexity in Formal Software Developments., , , , , , , , and . FM-Trends, volume 1641 of Lecture Notes in Computer Science, page 351-358. Springer, (1998)Deduction in the Verification Support Environment (VSE)., , , , , and . FME, volume 1051 of Lecture Notes in Computer Science, page 268-286. Springer, (1996)The KIV System: A Tool for Formal Program Development., , , , , and . STACS, volume 665 of Lecture Notes in Computer Science, page 704-705. Springer, (1993)Modeling Dynamic Processes in TLA., , and . FBT, page 185-192. Herbert Utz Verlag, (1999)Assumption-Commitment Specifications and Safety-Critical Systems., , and . FBT, page 125-135. Verlag Shaker, (1998)Tool Support for the Compositional Development of Distributed Systems., , and . FBT, volume 315 of GMD-Studien, page 89-98. GMD-Forschungszentrum Informationstechnik GmbH, (1997)