|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Richard F. Paige, Andy Galloway, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke |
High-integrity agile processes for the development of safety critical software.  |
IJCCBS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu |
Model-Checking the Linux Virtual File System. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Dunne, Ian J. Hayes, Andy Galloway |
Reasoning about Loops in Total and General Correctness. |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Toyn, Andy Galloway |
Formal Validation of Hierarchical State Machines against Expectations. |
ASWEC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Dunne, Andy Galloway |
Lifting General Correctness into Partial Correctness is ok. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. McDermid, Andy Galloway |
Three Perspectives in Formal Engineering. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy Galloway, Frantz Iwu, John A. McDermid, Ian Toyn |
On the Formal Development of Safety-Critical Software. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Toyn, Andy Galloway |
Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | James Blow, Andy Galloway |
Generalised Substitution Language and Differentials. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King (eds.) |
ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings |
ZB |
2000 |
DBLP BibTeX RDF |
|
| 1 | Bill Stoddart, Steve Dunne, Andy Galloway |
Undefined Expressions and Logic in Z and B. |
Formal Methods in System Design |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Keijiro Araki, Andy Galloway, Kenji Taguchi (eds.) |
Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999 |
IFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel Tracey, Samuel H. Valentine |
Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. (PDF / PS) |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore |
Abstract State Machines: Designing Distributed Systems with State Machines and B. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy Galloway, Bill Stoddart |
An Operational Semantics for ZCCS. |
ICFEM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Andy Galloway, Bill Stoddart |
Integrated formal methods. |
INFORSID |
1997 |
DBLP BibTeX RDF |
|
| 1 | P. C. Fencott, Andy Galloway, M. A. Lockyer, S. J. O'Brien, S. Pearson |
Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")