KASTEL industry 4.0 demonstrator: Provably forgetting information in PLC software

@misc{Weigl2019,
	author = {['Alexander Weigl']},
	year = {2019},
	month = {October},
	title = {KASTEL Industry 4.0 Demonstrator: Provably Forgetting Information in PLC software},
	howpublished = {Presentation in the KASTEL Seminar, Karlsruhe, Germany},
	keywords = {Information flow control,reactive system,security},
	doi = {10.5445/IR/1000098887},
	language = {english}
}