Revisiting Timed Specification Theory II : Realisability

Chris Chilton Marta Z. Kwiatkowska Xu Wang

Published in: CoRR (2013)

Keyphrases

theoretical framework
petri net
formal methods
computational model
theoretical basis
data sets
artificial intelligence
specification language
general theory
database
real time
high level
expert systems
programming language
formal languages