No photo of Anne Katharina Ingrid Remke

Anne Katharina Ingrid Remke

dr.

20042019
If you made any changes in Pure these will be visible here soon.

Research Output 2004 2019

Filter
Report
2012
59 Downloads (Pure)

A logic for model-checking of mean-field models

Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T. & Haverkort, B. R. H. M., 30 Mar 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 4 p. (CTIT Technical Report Series; no. TR-CTIT-12-11)

Research output: Book/ReportReportProfessional

File
2009
46 Downloads (Pure)

Survivability of SCADA Control Loop

Camacho, J., de Boer, P-T. & Remke, A. K. I., 1 Aug 2009, Enschede: Centre for Telematics and Information Technology (CTIT). 4 p. (CTIT technical report series; no. TR-CTIT-09-46)

Research output: Book/ReportReportOther research output

File
2004
256 Downloads (Pure)

Model Checking Infinite-State Markov Chains

Remke, A. K. I., Haverkort, B. R. H. M. & Cloth, L., Dec 2004, Enschede: Centre for Telematics and Information Technology (CTIT). 16 p. (CTIT technical report series; no. TR-CTIT-04-49)

Research output: Book/ReportReportOther research output

File