Jump to main content

yr 〜
yr

Search results 4

From reactive systems to cyber-physical systems : essays dedicated to Scott A. Smolka on the occasion of his 65th birthday

From reactive systems to cyber-physical systems : essays dedicated to Scott A. Smolka on the occasion of his 65th birthday
Paper図書
Ezio Bartocci ... [et al.] (eds.)Springerc2019
Other Libraries in Japan
  • Author HeadingBartocci, Ezio (Computer scientist) Cleaveland, Rance Grosu, Radu Sokolsky, Oleg Sm...

A practical approach to implementing real-time semantics [microform] / Gerald Lüttgen, Girish Bhat, Rance Cleaveland (ICASE report ; no. 99-4) ([NASA contractor report] ; NASA/CR-1999-208980)

A practical approach to implementing real-time semantics [microform] / Gerald Lüttgen, Girish Bhat, Rance Cleaveland (ICASE report ; no. 99-4) ([NASA contractor report] ; NASA/CR-1999-208980)
Microform図書
1999<YCA-NAS 1.26:208980>
National Diet Library
  • Author HeadingLüttgen, Gerald Bhat, Girish Cleaveland, Rance Langley Research Center

Priority in process algebras [microform] / Rance Cleaveland, Gerald Lüttgen, V. Natarajan (ICASE report ; no. 99-3) ([NASA contractor report] ; NASA/CR-1999-208979)

Priority in process algebras [microform] / Rance Cleaveland, Gerald Lüttgen, V. Natarajan (ICASE report ; no. 99-3) ([NASA contractor report] ; NASA/CR-1999-208979)
Microform図書
1999<YCA-NAS 1.26:208979>
National Diet Library
  • Author HeadingCleaveland, Rance Lüttgen, Gerald Natarajan, V ...

Statecharts via process algebra [microform] / Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland (ICASE report ; no. 99-42) ([NASA contractor report] ; NASA/CR-1999-209713)

Statecharts via process algebra [microform] / Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland (ICASE report ; no. 99-42) ([NASA contractor report] ; NASA/CR-1999-209713)
Microform図書
1999<YCA-NAS 1.26:209713>
National Diet Library
  • Author HeadingLüttgen, Gerald Beeck, Michael von der Cleaveland, Rance Langley Research Center

Reached to the end of result.

RSS