年 〜
年

検索結果 5 件

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering
デジタル電子書籍・電子雑誌図書
2021
インターネットで読める国立国会図書館

Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems : international autumn school, ROCKS 2012 : Vahrn, Italy, October 22-26, 2012 : advanced lectures : Oct 2012, Vahrn, Italy. (Lecture Notes in Computer Science ; 8453. Tutorial)

Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems : international autumn school, ROCKS 2012 : Vahrn, Italy, October 22-26, 2012 : advanced lectures : Oct 2012, Vahrn, Italy. (Lecture Notes in Computer Science ; 8453. Tutorial)
紙図書
Springer[2014]<M17-15-719>
国立国会図書館
  • 著者標目ROCKS Autumn School (2012 : Varna, Italy) Remke, Anne, 1980- Stoelinga, Mariëlle. ROCKS Project.

Quantitative evaluation of systems : 10th international conference, QEST 2013 : Buenos Aires, Argentina, August 27-30, 2013 : proceedings : Aug 2013, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 8054)

Quantitative evaluation of systems : 10th international conference, QEST 2013 : Buenos Aires, Argentina, August 27-30, 2013 : proceedings : Aug 2013, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 8054)
紙図書
Springerc2013.<M17-14-582>
国立国会図書館
  • 著者標目...iegle, Markus. Stoelinga, Mariëlle. D'Argenio, Pedro R., 1968-

Formal methods for industrial critical systems : 17th international workshop, FMICS 2012 : Paris, France, August 27-28, 2012 : proceedings : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7437)

Formal methods for industrial critical systems : 17th international workshop, FMICS 2012 : Paris, France, August 27-28, 2012 : proceedings : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7437)
紙図書
Springerc2012.<M17-13-588>
国立国会図書館
  • 著者標目...Paris, France) Stoelinga, Mariëlle. Pinger, Ralf.

Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings

Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings
紙図書
Étienne André, Mariëlle Stoelinga (eds.)Springerc2019
全国の図書館

検索結果は以上です。