Jump to main content

yr 〜
yr

Search results 3

Communication protocol specification and verification

Communication protocol specification and verification
Paper図書
by Richard Lai, Ajin JirachiefpattanaKluwer Academicc1998
Other Libraries in Japan
  • Subject Heading...- Verification LOTOS (Computer program language)
  • Subject Heading (ID)...- Verification LOTOS (Computer program language)

LOTOSphere : software development with LOTOS

LOTOSphere : software development with LOTOS
Paper図書
edited by Tommaso Bolognesi, Jeroen van de Lagemaat, and Chris VissersKluwer Academic Publishers1995
Other Libraries in Japan
  • Subject HeadingLOTOS (Computer program language) Computer software -- Developm...
  • Subject Heading (ID)LOTOS (Computer program language) Computer software -- Developm...

The OSI95 transport service with multimedia support : Berlin : New York

The OSI95 transport service with multimedia support : Berlin : New York
Paper図書
A. Danthine, edSpringer-Verlagc1994
Other Libraries in Japan
  • Subject HeadingOSI (Computer network standard) Multimedia systems LOTOS (Computer program language)
  • Subject Heading (ID)OSI (Computer network standard) Multimedia systems LOTOS (Computer program language)

Reached to the end of result.

RSS