MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Jonathan Billington" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

19 documents found, showing 1 through 10. Next 10 →

ATOM

Applying Coloured Petri Nets and Design/CPN to an Air-to-Air Missile Simulator
by Steven Gordon, Jonathan Billington — 1998 — Department of Computer Science, Aarhus University
… and Jonathan Billington School of Physics and Electronic Systems Engineering, University of South Australia…
Cited by 2 (2 self) – Add To MetaCart

Middleware Services over Satellite Networks: A Survey of Issues
by Steven Gordon, Jonathan Billington — 1999 — Proc. 8 th International Aerospace Congress (IAC 99), Adelaide, Australia, CD ROM (NS5.20
…Middleware Services over Satellite Networks: A Survey of Issues Steven Gordon and Jonathan…
Cited by 1 (0 self) – Add To MetaCart

Modelling the WAP Transaction Service using Coloured Petri Nets
by Steven Gordon, Jonathan Billington — 1999 — Proceedings of the First International Conference on Mobile Data Access, LNCS 1748
…Modelling the WAP Transaction Service using Coloured Petri Nets Steven Gordon and Jonathan…
Cited by 7 (5 self) – Add To MetaCart

Analysing the WAP Class 2 Wireless Transaction Protocol using Coloured Petri Nets
by Steven Gordon, Jonathan Billington — 2000
… and Jonathan Billington Cooperative Research Centre for Satellite Systems, University of South Australia…
Cited by 7 (3 self) – Add To MetaCart

Validating TCP Connection Management
by Bing Han, Jonathan Billington — 2002 — in Workshop on Software Engineering and Formal Methods, Conferences in Research and Practice in Information Technology, ACS
…Validating TCP Connection Management Bing Han Jonathan Billington Computer Systems Engineering…
Cited by 2 (1 self) – Add To MetaCart

New developments in closed-form computation for GSPN aggregation
by Jörn Freiheit, Jonathan Billington — 2003 — In 5th Int. Conference on Formal Engineering Methods (ICFEM) 2003
…New Developments in Closed-Form Computation for GSPN Aggregation Jörn Freiheit and Jonathan…
Cited by 1 (1 self) – Add To MetaCart

Analysing a Missile Simulator With Coloured Petri Nets
by Steven Gordon, Jonathan Billington — 1999
…-Verlag 11 11 12 12 13Analysingamissilesimulatorwithcolouredpetrinets 13 Steven Gordon, Jonathan Billington…
Cited by 1 (1 self) – Add To MetaCart

Modelling and Analysis of Railway Network Control Logic using Coloured Petri Nets
by W. Janczura, Professor Jonathan Billington — 1998
… Research August 1998 Supervised by Professor Jonathan Billington Contents 1 Introduction 1 1.1 Background…
Add To MetaCart

An Approach to Generalising the State Space of a Distributed Missile Simulator
by Steven Gordon, Lars Kristensen, Jonathan Billington
… and then inductively reason about the complete state space. Steven Gordon, Lars Kristensen and Jonathan Billington…
Add To MetaCart

Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol
by Somsak Vanit-anunchai, Jonathan Billington, Tul Kongprakaiwoot — 2005 — In Proc. 25th IFIP International Conference on Formal Techniques for Networked and Distributed Systems
…-Anunchai 1 , Jonathan Billington 1 and Tul Kongprakaiwoot 2 1 Computer Systems Engineering Centre, University…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB