Author:
Bellettini Carlo,Camilli Matteo,Capra Lorenzo,Monga Mattia
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Amazon Web Services. AWS in Education,
http://aws.amazon.com/grants/
2. Amazon Web Services. Elastic MapReduce,
http://aws.amazon.com/-documentation/elasticmapreduce/
3. Bellettini, C., Camilli, M., Capra, L., Monga, M.: Symbolic state space exploration of RT systems in the cloud. In: Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, pp. 295–302. IEEE CS Press, Los Alamitos (2012)
4. Bellettini, C., Capra, L.: Reachability analysis of time basic Petri nets: a time coverage approach. In: Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, pp. 110–117. IEEE CS Press, Los Alamitos (2011)
5. Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. Softw. Eng. 17, 259–273 (1991)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献