๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Long-term on-chip verification of systems with logical events scattered in time

โœ Scribed by J. Viejo; J.I. Villar; J. Juan; A. Millan; E. Ostua; J. Quiros


Book ID
116748812
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
787 KB
Volume
36
Category
Article
ISSN
0141-9331

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


[Lecture Notes in Business Information P
โœ Rinderle-Ma, Stefanie; Sadiq, Shazia; Leymann, Frank ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 223 KB

Business process management (BPM) constitutes one of the most exciting - search areas in computer science and the BPM Conference together with its workshops provides a distinct platform for presenting the latest research and showing future directions in this area. These proceedings contain the ?nal