Open AccessFormal Techniques in Real-Time and Fault-Tolerant Systems
Author(s) -
Gerhard Goos,
Juris Hartmanis,
Jan Van Leeuwen,
Hans Langmaack,
Willem-Paul de Roever,
Jan Vytopil
Publication year - 1994
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
DOI - 10.1007/3-540-58468-4
Subject(s) - computer science , fault tolerance , volume (thermodynamics) , formal methods , software engineering , distributed computing , physics , quantum mechanics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom