Specification of embedded monitors for property checking

Authors
Allara, A Bombana, M Comai, S Josko, B Schlor, R Sciuto, D
Citation
A. Allara et al., Specification of embedded monitors for property checking, ELECTRONIC CHIPS & SYSTEMS DESIGN LANGUAGES, 2001, pp. 285-294
Categorie Soggetti
Current Book Contents
Journal title
ELECTRONIC CHIPS & SYSTEMS DESIGN LANGUAGES → ACNP
Year of publication
2001
Pages
285 - 294
Database
ISI
SICI code