ServicenavigationHauptnavigationTrailKarteikarten


Forschungsstelle
INNOSUISSE
Projektnummer
132.040 IP-ICT
Projekttitel
Specification-to-Property Extraction with Controlled TRaceable Agents (SPECTRA)
Projekttitel Englisch
Specification-to-Property Extraction with Controlled TRaceable Agents (SPECTRA)

Beteiligte

Bundesstelle/ Verwaltungseinheit Innosuisse
Schweizerische Agentur
für Innovationsförderung
Einsteinstrasse 2
CH-3003 Bern
+41 58 461 61 61 (Zentrale)
info@innosuisse.ch
www.innosuisse.ch/
Kontaktperson

Shirokova Daria
Kandou Bus SA
www.uid.admin.ch/Detail.aspx?uid_id=CHE462434237


Wissenschaftliche Leitung


IDIAP - Research Institute


Wirtschaftspartner


Kandou Bus SA
www.uid.admin.ch/Detail.aspx?uid_id=CHE462434237