AUTHORS (1-5 of 5)
Salaun, Gwen
1
book jacket

Formal methods for industrial critical systems 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings
International Workshop on Formal Methods for Industrial Critical Systems (16th : 2011 : Trento, Italy)
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
2011
電子書

Location: 中央研究院
2
book jacket

Formal methods for industrial critical systems 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings
International Workshop on Formal Methods for Industrial Critical Systems (16th : 2011 : Trento, Italy)
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
2011
COMPUTER FILE

Location: 中央研究院
3
book jacket

Software engineering and formal methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings
International Conference on Software Engineering and Formal Methods (12th : 2014 : Grenoble, France)
Cham : Springer International Publishing : Imprint: Springer, 2014
2014
電子書

Location: 中央研究院
4
book jacket

Software engineering and formal methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : proceedings
International Conference on Software Engineering and Formal Methods (17th : 2019 : Oslo, Norway)
Cham : Springer International Publishing : Imprint: Springer, 2019
2019
COMPUTER FILE

Location: 中央研究院
5
book jacket

Software technologies : applications and foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018 : revised selected papers
STAF (Federation of conferences) (2018 : Toulouse, France)
Cham : Springer International Publishing : Imprint: Springer, 2018
2018
COMPUTER FILE

Location: 中央研究院