Date: 2018-05-10 06:54:27Mathematical logic Predicate logic Mathematics Logic Predicate variable Scope Atomic sentence FO First-order logic Variable Structured text Assignment | | Predicate Abstraction for Programmable Logic Controllers Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany Abstract. In this paper, we present a predicAdd to Reading ListSource URL: pub.ist.ac.atDownload Document from Source Website File Size: 446,37 KBShare Document on Facebook
|