Jump to main content

yr 〜
yr

Search results 3

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
  • Author HeadingBolognesi, Tommaso Lagemaat, Jeroen van de Vissers, Chris A.

The Formal description technique Lotos : results of the ESPRIT/SEDOS Project

The Formal description technique Lotos : results of the ESPRIT/SEDOS Project
Paper図書
edited by Peter H.J. van Eijk, Chris A. Vissers, Michel DiazNorth-Holland1989
Other Libraries in Japan
  • Author HeadingEijk, Peter H. J. van Vissers, Chris A. Diaz, Michel

Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6-9 June, 1989

Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6-9 June, 1989
Paper図書
edited by Ed Brinksma, Giuseppe Scollo, Chris A. VissersNorth-Holland1990
Other Libraries in Japan
  • Author Heading...king Group 6.1 Vissers, Chris A.

Reached to the end of result.

RSS