Formal Specification and Verification of Components for Industrial Logic Control Programming
Paper in proceeding, 2008
Author
Oscar Ljungkrantz
Chalmers, Signals and Systems, Systems and control
Knut Åkesson
Chalmers, Signals and Systems, Systems and control
Martin Fabian
Chalmers, Signals and Systems, Systems and control
Published in
Proceedings of the 4th IEEE Conference on Automation Science and Engineering
p. 935-940
Categorizing
Subject Categories (SSIF 2011)
Computer and Information Science