I agree that this site is using cookies. You can find further informations here.
X
Bryn C. Taylor
4  results:
E-Books X
Search for persons X
?
1

FM 2014: Formal Methods 

19th International Symposium, Singapore, May 12-16, 2014. P...  Lecture Notes in Computer Science ; 8442;SpringerLink, Bücher
Jones, Cliff B. ; Pihlajasaari, Pekka ; Sun, Jun , 2014
Link: https://doi.org/10.1007/..
 
?
2

Dependable and historic computing 

essays dedicated to Brian Randell on the occasion of his 75...  Lecture notes in computer science ; 6875
Lloyd, John L. ; Jones, Cliff B. ; Randell, Brian , 2011
Link: http://dx.doi.org/10.100..
 
?
3

Methods, Models and Tools for Fault Tolerance 

Lecture Notes in Computer Science ; 5454;SpringerLink, Bücher
Nierstrasz, Oscar ; Romanovsky, Alexander ; Terzopoulos, Demetri... , 2009
Link: https://doi.org/10.1007/..
 
?
4

VDM '87. VDM - A Formal Method at Work 

VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, ...  Lecture Notes in Computer Science ; 252;SpringerLink, Bücher
Bjorner, Dines ; Mac An Airchinnigh, Michael ; Jones, Cliff B.. , 1987
Link: https://doi.org/10.1007/..
 
1-4