Journal Menu
- About this Journal
- Abstracting and Indexing
- Aims and Scope
- Article Processing Charges
- Articles in Press
- Author Guidelines
- Bibliographic Information
- Citations to this Journal
- Contact Information
- Editorial Board
- Editorial Workflow
- Free eTOC Alerts
- Publication Ethics
- Reviewers Acknowledgment
- Submit a Manuscript
- Subscription Information
- Table of Contents
Advances in Software Engineering
Volume 2012 (2012), Article ID 156907, 30 pages
doi:10.1155/2012/156907
Review Article
Formal ESL Synthesis for Control-Intensive Applications
Department of Informatics and Computer Technology, School of Kastoria, Higher Technological Education Institute of Western Macedonia, Fourka Area, 52100 Kastoria, Greece
Received 6 February 2012; Accepted 14 April 2012
Academic Editor: Kamel Barkaoui
Copyright © 2012 Michael F. Dossis. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
How to Cite this Article
Michael F. Dossis, “Formal ESL Synthesis for Control-Intensive Applications,” Advances in Software Engineering, vol. 2012, Article ID 156907, 30 pages, 2012. doi:10.1155/2012/156907