28 search results - page 3 / 6 » Semi-formal and Formal Models Applied to Flexible Manufactur... |
DAC
1998
ACM
14 years 6 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
ACSD
2004
IEEE
13 years 9 months ago
2004
IEEE
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
EWC
2000
13 years 5 months ago
2000
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely recognised that the seamless capture, storage, and retriev...
APN
2006
Springer
13 years 9 months ago
2006
Springer
We consider nested nets, i.e. Petri nets in which tokens can be Petri nets themselves. We study value semantics of nested nets rather than reference semantics, and apply nested ne...
AEI
2004
13 years 5 months ago
2004
Knowledge intensive engineering aims at flexible applications of a variety of product life cycle knowledge, such as design, manufacturing, operations, maintenance, and recycling. ...