All conferences / FOR-MOVES / 2014
FOR-MOVES 2014
FORmal MOdeling and VErification of Service-based systems
Submission timeline
- 25 Aug 2014 Full paper
- 15 Sep 2014 Notification
- 3 Nov 2014 Conference opens
What to submit
- Format
- 8-12 pages LNCS
- Proceedings
- No formal proceedings (PDF online) — Free access