Jump to main content

yr 〜
yr

Search results 6

Proceedings of the 1st International Workshop on Gender Equality in Software Engineering

Proceedings of the 1st International Workshop on Gender Equality in Software Engineering
Digital電子書籍・電子雑誌図書
2018
National Diet Library

2016 international workshop on symbolic and numerical methods for reachability analysis : (SNR 2016) : Vienna, Austria : 11 April 2016 : CPS week : Apr 2016, Vienna, Austria.

2016 international workshop on symbolic and numerical methods for reachability analysis : (SNR 2016) : Vienna, Austria : 11 April 2016 : CPS week : Apr 2016, Vienna, Austria.
Paper図書
IEEE[2016]<M17-17-2497>
National Diet Library
  • Author Heading...enna, Austria) Ábrahám, Erika. Bogomolov, Sergiy. Cyber-Phys...

Formal techniques for distributed objects, components, and systems : 34th IFIP WG 6.1 international conference, FORTE 2014 : held as part of the 9th international federated conference on distributed computing techniques, DisCoTec 2014 : Berlin, Germany, June 3-5, 2014 : proceedings : joint FMOODS/FORTE conference : Jun 2014, Berlin, Germany. (Lecture Notes in Computer Science ; 8461)

Formal techniques for distributed objects, components, and systems : 34th IFIP WG 6.1 international conference, FORTE 2014 : held as part of the 9th international federated conference on distributed computing techniques, DisCoTec 2014 : Berlin, Germany, June 3-5, 2014 : proceedings : joint FMOODS/FORTE conference : Jun 2014, Berlin, Germany. (Lecture Notes in Computer Science ; 8461)
Paper図書
Springer[2014]<M17-15-1286>
National Diet Library
  • Author Heading...rlin, Germany) Ábrahám, Erika. Palamidessi, Catuscia. Techni...

Tools and algorithms for the construction and analysis of systems : 20th international conference, TACAS 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8413. Advanced Research in Computing and Software Science)

Tools and algorithms for the construction and analysis of systems : 20th international conference, TACAS 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8413. Advanced Research in Computing and Software Science)
Paper図書
Springerc2014.<M17-14-2140>
National Diet Library
  • Author Heading...noble, France) Ábrahám, Erika. Havelund, Klaus, 1955- Univer...

Quantitative evaluation of systems : 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, proceedings : pbk

Quantitative evaluation of systems : 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, proceedings : pbk
Paper図書
Erika Ábrahám, Marco Paolieri (eds.)Springerc2022
Other Libraries in Japan

An assertional proof system for multithreaded Java : theory and tool support

An assertional proof system for multithreaded Java : theory and tool support
Paper博士論文
Erika Abraham.Rijksuniversiteit Leiden2005.<M-DINL-4175>
National Diet Library
  • Author HeadingAbraham, Erika.

Reached to the end of result.

RSS