[IEEE INDIN '05. 2005 3rd IEEE International Conference on Industrial Informatics, 2005. - Perth, Australia (10-12 Aug., 2005)] INDIN '05. 2005 3rd IEEE International Conference on Industrial Informatics, 2005. - Semantic modeling of e-solutions using a view formalism with conceptual & amp; logical extensions
- 作者Rajugan, R.I.; Chang, E.; Feng, L.; Dillon, T.S.
- 文件大小2246.46KB
- 发表时间2005
- DOI10.1109/indin.2005.1560391
- 页码286-293
[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - Preface2010
[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - Author Index2010
[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - DiVinE: Parallel Distributed Model CheckerBarnat, Jiri; Brim, Lubos; Ceska, Milan; Rockai, Petr · 2010
[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - Title Page iii2010
[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - Title Page i2010
[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - Industrial Strength Distributed Explicit State Model CheckingBingham, Brad; Bingham, Jesse; Paula, Flavio M. de; Erickson, John; Singh, Gaurav; Reitblatt, Mark · 2010
[IEEE 2010 9th International Workshop on Parallel & Distributed Methods in Verification and 2nd International Workshop on High Performance Computational Systems Biology (PDMC-HiBi 2010) - Enschede (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - [Copyright notice]2010
[IEEE 2010 9th International Workshop on Parallel & Distributed Methods in Verification and 2nd International Workshop on High Performance Computational Systems Biology (PDMC-HiBi 2010) - Enschede (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - [Roster page]2010