Formal Testing of Systems Presenting Soft and Hard Deadlines - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. Formal Testing of Systems Presenting Soft and Hard Deadlines. In Farhad Arbab, Marjan Sirjani, editors, International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings. Volume 4767 of Lecture Notes in Computer Science, pages 160-174, Springer, 2007. [doi]

The following publications are possibly variants of this publication:

A formal framework to test soft and hard deadlines in timed systemsMercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. stvr, 22(8):583-608, 2012. [doi]

runs on WebDSL