Simon Fowler

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1997

2 Simon Fowler, Andy J. Wellings: Formal development of a real-time kernel. IEEE Real-Time Systems Symposium 1997: 220-229

1996

1 Simon Fowler, Andy J. Wellings: Formal Analysis of a Real-Time Kernel Specification. FTRTFT 1996: 440-458

	1997
2		Simon Fowler, Andy J. Wellings: Formal development of a real-time kernel. IEEE Real-Time Systems Symposium 1997: 220-229
	1996
1		Simon Fowler, Andy J. Wellings: Formal Analysis of a Real-Time Kernel Specification. FTRTFT 1996: 440-458

Coauthor Index

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page