共 50 条
[33]
Modelling of UML sequence diagrams with generalized nets
[J].
2002 FIRST INTERNATIONAL IEEE SYMPOSIUM INTELLIGENT SYSTEMS, VOL III, STUDENT SESSION, PROCEEDINGS,
2002,
:79-84
[34]
Modeling and Verification of Custom TCP Using SDL
[J].
PROCEEDINGS OF 2013 IEEE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS),
2012,
:455-458
[35]
DESIGN AND PROGRAMMING OF UWB MAC USING SDL
[J].
PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER THEORY AND ENGINEERING (ICACTE 2009), VOLS 1 AND 2,
2009,
:1891-1897
[37]
Generating Log Requirements for Checking Conformance against Healthcare Standards using Workflow Modelling
[J].
PROCEEDINGS OF THE AUSTRALASIAN COMPUTER SCIENCE WEEK MULTICONFERENCE (ACSW 2019),
2019,
[40]
UML 2 as a Modelling Language in discrete event simulation
[J].
SIMULATION IN WIDER EUROPE,
2005,
:399-408