Samaneh Asadollahi

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2011

2 Yahya Asadollahi, Vahid Rafe, Samaneh Asadollahi, Somayeh Assadollahi: A formal framework to model and validate event-based software architecture. Procedia CS 3: 961-966 (2011)

2009

1 Samaneh Asadollahi, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani: Towards Automated Software Verification Using Model Checking Techniques. TASE 2009: 305-306

	2011
2		Yahya Asadollahi, Vahid Rafe, Samaneh Asadollahi, Somayeh Assadollahi: A formal framework to model and validate event-based software architecture. Procedia CS 3: 961-966 (2011)
	2009
1		Samaneh Asadollahi, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani: Towards Automated Software Verification Using Model Checking Techniques. TASE 2009: 305-306

Coauthor Index

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Yahya Asadollahi	[2]
2	Somayeh Assadollahi	[2]
3	Vahid Rafe	[1] [2]
4	Reza Rafeh	[1]
5	Adel Torkaman Rahmani (Adel Rahmani)	[1]