Formal Model-based Validation for Tally Systems

Joseph Roland Kiniry
, Dermot Cochran
, Joseph Roland Kiniry

Siemens A/S
Danmarks Tekniske Universitet

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

1 resultater
- Relevans

Filter

DemTech: Trustworthy Democratic Technology
Schürmann, C. (PI), Boulus-Rødje, N. (CoI), Gad, C. (CoI), Kiniry, J. R. (CoI), Markussen, R. (CoI), Gustafsson, D. (CoI), Wang, J. (CoI), Vadgaard, A. K. P. (CoI), Murawska, A. A. (CoI) & Bock, P. B. (CoI)
Innovation Fund Denmark (IFD)
01/07/2011 → 31/01/2018
Projekter: Projekt › Forskning