Verification of the Capability Exchange Signalling protocol.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 3/4, p. 305, doi. 10.1007/s10009-007-0037-y
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2007 AND VI 9 AND IP 3/4
Results: 10
1
2
Modelling and analysing the functional behaviour of TCP’s connection management procedures.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 3/4, p. 269, doi. 10.1007/s10009-007-0034-1
- By:
- Publication type:
- Article
3
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 3/4, p. 213, doi. 10.1007/s10009-007-0038-x
- By:
- Publication type:
- Article
4
Modular state space exploration for timed petri nets.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 3/4, p. 393, doi. 10.1007/s10009-007-0033-2
- By:
- Publication type:
- Article
5
Formal specification and state space analysis of an operational planning process.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 3/4, p. 255, doi. 10.1007/s10009-007-0032-3
- By:
- Publication type:
- Article
6
Widening operators for powerset domains.
- Published in:
- 2007
- By:
- Publication type:
- Correction Notice
7
Checking safety properties on-the-fly with the sweep-line method.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 3/4, p. 371, doi. 10.1007/s10009-007-0031-4
- By:
- Publication type:
- Article
8
Requirements Validation: Execution of UML Models with CPN Tools.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 3/4, p. 353, doi. 10.1007/s10009-007-0035-0
- By:
- Publication type:
- Article
9
Modelling work distribution mechanisms using Colored Petri Nets.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 3/4, p. 327, doi. 10.1007/s10009-007-0036-z
- By:
- Publication type:
- Article
10
Special section on coloured Petri nets.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 3/4, p. 209, doi. 10.1007/s10009-007-0039-9
- By:
- Publication type:
- Article