Login / Signup
A formal framework to test soft and hard deadlines in timed systems.
Mercedes G. Merayo
Manuel Núñez
Ismael Rodríguez
Published in:
Softw. Test. Verification Reliab. (2012)
Keyphrases
</>
main contribution
management system
formal model
distributed systems
petri net
lightweight
formal methods
finite state machines
retrieval systems
complex systems
building blocks
machine learning
computer systems
computational intelligence
case study
computer vision
artificial intelligence