yr 〜
yr

Search results 3

Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings

Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings
Paper図書
Yamine Ait-Ameur, Shin Nakajima, Dominique Méry, editorsSpringer[2021]<M154-D14>
National Diet LibraryOther Libraries in Japan
  • Author HeadingAït-Ameur, Yamine 中島, 震, 1955- Méry, Dominique

Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference, ABZ 2014 : Toulouse, France, June 2-6, 2014 : proceedings : ABZ2014 : Jun 2014, Toulouse, France. (Lecture Notes in Computer Science ; 8477)

Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference, ABZ 2014 : Toulouse, France, June 2-6, 2014 : proceedings : ABZ2014 : Jun 2014, Toulouse, France. (Lecture Notes in Computer Science ; 8477)
Paper図書
Springer[2014]<M17-15-591>
National Diet Library
  • Author HeadingABZ 2014 (2014 : Toulouse, France) Aït-Ameur, Yamine. Schewe, Klaus-Dieter.

Model and data engineering : 4th international conference, MEDI 2014 : Larnaca, Cyprus, September 24-26, 2014 : proceedings : 4th event of the international conference on model engineering and data engineering : Sep 2014, Larnaca, Cyprus. (Lecture Notes in Computer Science ; 8748)

Model and data engineering : 4th international conference, MEDI 2014 : Larnaca, Cyprus, September 24-26, 2014 : proceedings : 4th event of the international conference on model engineering and data engineering : Sep 2014, Larnaca, Cyprus. (Lecture Notes in Computer Science ; 8748)
Paper図書
Springer[2014]<M17-15-614>
National Diet Library
  • Author Heading...rnaca, Cyprus) Aït-Ameur, Yamine. Bellatreche, Ladjel, 1968- P...

Reached to the end of result.