|
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Integration of Specification Techniques for Applications in Engineering, INT 2004, held in Barcelona, Spain in March 2004 as well as a documentation of the main results of a special program funded by the German Research Foundation (DFG Schwerpunktsprogramm) on the same topic.
The 25 revised full papers presented together with 6 section introductions by the volume editors were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reference case study production automation, reference case study traffic control systems, petri nets and related approaches in engineering, charts, verification, and integration modeling.
Aspects of (p,q) Автор: Wyclife Rao Год: 2010 |
TOURISM IN SIKKIM (INDIA) Автор: Sanjukta Sattar Год: 2010 |
Acquisition and Development of Nominal and Verbal Structures in Arabic Автор: Ghassan Al Shatter Год: 2010 |
Impact of Joint Forest Management on the Participants and Environment Автор: Naresh Chandra Sahu Год: 2010 |
Investigation of flow and pressure characteristics around pyramidal buildings Автор: Ikhwan M. Год: 2005 |
Balanced Scorecard and its Application in Banking Sector of Pakistan Автор: Zafar Ahmed Год: 2010 |