GSM Handover ThomJen2003
Verification, Validation and Testing in Software Engineering
Building Verifiable Software Prototypes Using Coloured Petri NetsQualifying Exam 1/39 June 17, 2005 Building Verifiable Software Prototypes Using Coloured.
Modelling Feature Interaction Patterns in Nokia Mobile Phones using Coloured Petri Nets and Design/CPN Louise Lorentsen University of Aarhus Antti-Pekka.
CPN’0410/10/2004 1 Formal Specification and State Space Analysis of an Operational Planning Process Brice Mitchell, Lars M. Kristensen, and Lin Zhang.
A template-based analysis of the GRL EMMSAD 2005, june 13-14, Porto Gautier Dallons, Patrick Heymans, Isabelle Pollet University of Namur (Belgium) PRECISE.
DEVELOPMENT OF MOBILE SURFACE WATER FILTRATION SYSTEM THROUGH SIMULATION USING COLOURED PETRI NET (C
CSEC 10 Oct 2004CPN’04 Workshop1 Experience using Coloured Petri Nets to Model TCP’s Connection Management Procedures Bing Han and Jonathan Billington.
1 A Distributed and Flexible Workflow Management System (WfMS) Maryam Tehrany Information Science Department University of Otago at Dunedin, New Zealand.