Biblio

Export 2 results:
Sort by: Author [ Keyword  (Asc)] Title Type Year
Filters: Taxonomy Term is railway application  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
model checking
railway application
Hon, Y. M., J. - T. Tecker, and H. - D. Ehrich, "OOLH: A formal framework for specifying system requirements", SIGSAND-EUROPE 2008, Berlin, Springer LNI, Vol. 129, 2008. Abstract  Download: 2008OOLH.pdf (71.71 KB)