H ? « ‹ ← → › »

Language peer sets for Euris:
Netherlands↑
Netherlands/1998↑
Designed 1998 ↑
1990s languages ↑
Internet↑
New internationlism↑

Euris(ID:3943/eur001)

alternate simple view
Country: Netherlands
Designed 1998

van Dijk et al 1999

Language for the specification of railroad interlockings (mentioned in PROMELA Paper)
Related languages
Euris → LARIS   Adaptation of
References:
  • Fokko van Dijk, Wan Fokking, Gea Kolk, Paul van de (1998) Fokko van Dijk, Wan Fokking, Gea Kolk, Paul van de Ven, Bas van Vlijmen: EURIS, a Specification Method for Distributed Interlockings. SAFECOMP 1998: 296-305 Page at Springer Abstract pdf
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder