Revisiting Timed Specification Theories: A Linear-Time Perspective.

Chris Chilton Marta Z. Kwiatkowska Xu Wang

Published in: FORMATS (2012)

Keyphrases

petri net
high level
viewpoint
colored petri nets
information retrieval
specification language
discrete event
formal verification
databases
neural network
artificial intelligence
decision making
software engineering
worst case
theoretical framework
multiple perspectives