Open AccessA Comparison of Formal Real-Time Specication Languages
Author(s) -
Andy Evans,
D.R.W. Holton,
Luming Lai,
Phil Watson
Publication year - 1996
Publication title -
electronic workshops in computing
Language(s) - English
Resource type - Conference proceedings
ISSN - 1477-9358
DOI - 10.14236/ewic/fa1996.7
Subject(s) - computer science , mathematical proof , rotation formalisms in three dimensions , generality , process calculus , statement (logic) , formal methods , programming language , process (computing) , benchmark (surveying) , theoretical computer science , formal proof , expressive power , mathematics , psychology , geometry , geodesy , political science , law , psychotherapist , geography
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