Titlebook: Inductive Logic Programming; 22nd International C Fabrizio Riguzzi,Filip ?elezny Conference proceedings 2013 Springer-Verlag Berlin Heidelb

ILEUM

Bogdan Moldovan,Laura Antanas,McElory Hoffmann in a uniform way at runtime based on the combination of environmental threats and the conditions of subordinated system modules. To guarantee a safe motion based on autonomous decisions we have introduced a universal and transparent certification process which not only takes functional aspects like

GRAIN

Scintigraphy

大炮

Chiaki Sakamahed in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Reliability and Security (EWICS TC7), SAFECOMP has continuously contributed to the progress in high integrity applications of information technologies. The conference focuses on the state of the art

Bumble

Yoshitaka Yamamoto,Katsumi Inoue,Koji Iwanumarification methodology for highly parametrizable, continuously operating, safety-critical real-time systems implemented in FPGAs. It is compliant to IEC 61508 and extends it in several ways. We focus on independence between design and verification. Natural language properties and the functional cove