Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam
Yazar
Lang, Frédéric. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence
View Other Search Results
Yazar
Núñez, Manuel. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway
Yazar
Yakovyna, Vitaliy. editor.
Format:
Electronic Resources
Alıntı:
Information and Communication Technologies in Education, Research, and Industrial Applications 11th
Yazar
Crnkovic, Ivica. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg
Yazar
ter Beek, Maurice H. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification
Yazar
Dori, Dov. author.
Format:
Electronic Resources
Alıntı:
Model-Based Systems Engineering with OPM and SysML Dori, Dov. author.
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Software engineering.
Yazar
Counsell, Steve. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok
Yazar
Dingel, Juergen. editor.
Format:
Electronic Resources
Alıntı:
Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Software engineering.
Arama Sonuçlarını Sınırlandır
Daraltılmış: