Formal Verification of Activity-Based Specification of Protocols

By Anand K.C.   Shyamasundar R.K.  

Journal of Parallel and Distributed Computing, Vol. 60, Iss. 5, 2000-05 ,pp. : 639-676

Academic Press

Access to resources Recommend Favorite

Virtual distributed control systems: a components-based design method for mechatronic systems

By Mahalik N.   Xie C.   Pu J.   Moore P.R.  

Assembly Automation, Vol. 26, Iss. 1, 2006-01 ,pp. : 44-53

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

A Tool for the Model-Based Specification of Open Distributed Systems

By Romero Jos Ral   Jan Juan Ignacio   Vallecillo Antonio  

Computer Journal, Vol. 56, Iss. 7, 2013-07 ,pp. : 793-818

Oxford University Press

Access to resources Recommend Favorite

Real-time control systems for one-of-a-kind production based on state modelling on the basis of the presented generic reference architecture. An automatic version of a production line from a shipyard is implemented in the simulation system. The simulated automatic production line is briefly described. Some results from the simulations are presented to show the usefulness of the generic reference architecture.

By Orum-Hansen C.   Laursen R.P.   Trostmann E.  

Production Planning and Control, Vol. 9, Iss. 5, 1998-07 ,pp. : 435-447

Taylor & Francis Ltd

Access to resources Recommend Favorite

Verification of Embedded Systems Based on Interval Analysis

By Ugarte Iñigo   Sanchez Pablo  

International Journal of Parallel Programming, Vol. 33, Iss. 6, 2005-12 ,pp. : 697-720

Springer Publishing Company

Access to resources Recommend Favorite