From Software Engineering to Formal Methods and Tools, and Back: Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
From Software Engineering to Formal Methods and Tools, and Back: Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study