كتاب إلكتروني
Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach
| العنوان: | Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach |
|---|---|
| المؤلفون: | Tueno Fotso, Steve JeffreyAff17, Aff18, Frappier, MarcAff17, Laleau, RégineAff18, Mammar, AmelAff19 |
| المساهمون: | Hutchison, David, Series EditorAff1, Kanade, Takeo, Series EditorAff2, Kittler, Josef, Series EditorAff3, Kleinberg, Jon M., Series EditorAff4, Mattern, Friedemann, Series EditorAff5, Mitchell, John C., Series EditorAff6, Naor, Moni, Series EditorAff7, Pandu Rangan, C., Series EditorAff8, Steffen, Bernhard, Series EditorAff9, Terzopoulos, Demetri, Series EditorAff10, Tygar, Doug, Series EditorAff11, Weikum, Gerhard, Series EditorAff12, Butler, Michael, editorAff13, Raschke, Alexander, editorAff14, Hoang, Thai Son, editorAff15, Reichl, Klaus, editorAff16 |
| المصدر: | Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings. 10817:262-276 |
| قاعدة البيانات: | Springer Nature eBooks |
| ردمك: | 9783319912707 9783319912714 |
|---|---|
| DOI: | 10.1007/978-3-319-91271-4_18 |