10th International Conference on Tests & Proofs (Veranstaltung)

Seidl, M. (Mitglied)

Institut für Formale Modelle und Verifikation

Aktivität: Mitgliedschaft/Funktion › Programm-Komitee

Beschreibung

The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

Zeitraum	05 Juli 2016 → 07 Juli 2016
Ereignistitel	10th International Conference on Tests & Proofs
Veranstaltungstyp	Sonstiges
Ort	ÖsterreichAuf Karte anzeigen

Wissenschaftszweige

202006 Computer Hardware
603109 Logik
102 Informatik
102031 Theoretische Informatik
102011 Formale Sprachen
102022 Softwareentwicklung
102001 Artificial Intelligence

JKU-Schwerpunkte

Computation in Informatics and Mathematics

Dokumente & Verweise

http://tap2016.ist.tugraz.at/