IEEE - Institute of Electrical and Electronics Engineers, Inc. - Linking Finite Automata and Formal Methods Enhancing Modeling Power for Complex Systems

2008 International Conference on Computer Science and Information Technology

Author(s): N. Sabir ; A. Ali ; N.A. Zafar
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2008
Conference Location: Singapore, Singapore
Conference Date: 29 August 2008
Page(s): 58 - 63
ISBN (Paper): 978-0-7695-3308-7
DOI: 10.1109/ICCSIT.2008.202
Regular:

Automata have various applications and it plays an important role in computer science, particularly, in modeling behavior of systems. Z notation is an ideal one to be used defining state space of... View More

Advertisement