Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems

Activate Email Alert RSS Feed

Project Acronym

IMMORTAL

Project Title

Website

http://h2020-immortal.eu/

Status

Abgeschlossen

Duration

01-03-2015

28-02-2018

Funding Organization

European Commission

Funding Program

H2020

Results 1-1 of 1

Bibtex Send via email

		Issue Date			Title	Type	Author(s)
	1	14-Oct-2019			Synthesizing adaptive test strategies from temporal logic specifications	Article	Bloem, Roderick ; Fey, Görschwin ; Greif, Fabian ; Könighofer, Robert ; Pill, Ingo ; Riener, Heinz ; Röck, Franz