A scalable approach to multi-style architectural modeling and verification
10.1109/ICECCS.2008.16
Saved in:
Main Authors: | Wong, S., Sun, J., Warren, I. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Conference or Workshop Item |
Published: |
2013
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/41537 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
A scalable approach to multi-style architectural modeling and verification
by: WONG, Stephen, et al.
Published: (2008) -
Formal verification of scalable nonzero indicators
by: Zhang, S.J., et al.
Published: (2013) -
Formal verification of scalable nonzero indicators
by: SUN, Jun, et al.
Published: (2009) -
Computer-aided dispatch system family architecture and verification: An integrated formal approach
by: Sun, J., et al.
Published: (2013) -
Scalable Verification for Outsourced Dynamic Databases
by: PANG, Hwee Hwa, et al.
Published: (2009)