IEEE Transactions on Automatic Control

The Transactions on Automatic Control publishes high-quality papers and technical notes on the theory, design and applications of control engineering. The Transactions is published monthly by the Control Systems Society of IEEE.

Publisher
IEEE
Some content from Wikipedia, licensed under CC BY-SA

Can control theory make software better?

"Formal verification" is a set of methods for mathematically proving that a computer program does what it's supposed to do. It's universal in hardware design and in the development of critical control software that can't ...

dateMar 19, 2013 in Computer Sciences
shares0 comments 8