Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
2 results
|
|
sorted by
|
|
Validating SCTP Simultaneous Open Procedure5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.233-249, ⟨10.1007/978-3-642-40213-5_15⟩
Conference papers
hal-01514670v1
|
||
|
Modelling Railway Interlocking Tables Using Coloured Petri Nets12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.137-151, ⟨10.1007/978-3-642-13414-2_10⟩
Conference papers
hal-01054630v1
|