Search results
Journal of Software: Evolution and Process > 30 > 8 > n/a - n/a
Lecture Notes in Computer Science > Rigorous Development of Complex Fault-Tolerant Systems > Train Systems > 226-240
Procedia Computer Science > 2015 > 45 > Complete > 852-861
IERI Procedia > 2013 > 4 > Complete > 323-330
AASRI Procedia > 2013 > 5 > Complete > 133-139
The Journal of Systems & Software > 2011 > 84 > 10 > 1670-1684
Software & Systems Modeling > 2007 > 6 > 3 > 247-265
Electronic Notes in Theoretical Computer Science > 2006 > 154 > 1 > 25-41